diff options
Diffstat (limited to 'Documentation/Makefile')
| -rw-r--r-- | Documentation/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 8bb5b9e4..64dc0f66 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -10,6 +10,7 @@ BUILDDIR = build targets := help targets += html +targets += man # Put it first so that "make" without argument is like "make help". @@ -19,4 +20,7 @@ help: $(targets): conf.py Makefile @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) +%.1: %.md man + @mv build/man/$@ $@ + .PHONY: Makefile # avoid circular deps with the catch-all rule |