diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -5,6 +5,7 @@ # useful targets: # make clean ---------------- clean up # make webdocs -------------- produce ansible doc at docs/docsite/_build/html +# make coredocs ------------- produce core doc at docs/docsite/_build/html # make sdist ---------------- produce a tarball # make deb-src -------------- produce a DEB source # make deb ------------------ produce a DEB @@ -270,6 +271,10 @@ epub: webdocs: (cd docs/docsite/; CPUS=$(CPUS) $(MAKE) docs) +.PHONY: coredocs +coredocs: + (cd docs/docsite/; CPUS=$(CPUS) $(MAKE) coredocs) + .PHONY: linkcheckdocs linkcheckdocs: (cd docs/docsite/; CPUS=$(CPUS) $(MAKE) linkcheckdocs) |