make: updated docs make commands.
marcink -
r1214:493a5c1f default
Not Reviewed
Show More
Add another comment
TODOs: 0 unresolved 0 Resolved
COMMENTS: 0 General 0 Inline
@@ -13,6 +13,9
13 docs-clean:
13 docs-clean:
14 (cd docs; make clean)
14 (cd docs; make clean)
15
15
16 docs-cleanup:
17 (cd docs; make cleanup)
18
16 ci-docs: docs;
19 ci-docs: docs;
17
20
18
21
@@ -49,6 +49,12
49 clean:
49 clean:
50 rm -rf $(BUILDDIR)/*
50 rm -rf $(BUILDDIR)/*
51
51
52 cleanup:
53 @echo "cleaning build dir"
54 rm -rf $(BUILDDIR)/*
55 @echo "cleaning result symlink"
56 rm -v result
57
52 html:
58 html:
53 $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html
59 $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html
54 @echo
60 @echo
Comments 0
You need to be logged in to leave comments. Login now