diff options
-rw-r--r-- | doc/Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index 41100898..7f52f29c 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -124,6 +124,11 @@ $(OUT_PDF): $(OUT) @$(ECHO) "\t[MKDIR ] $@" @$(MKDIR) $(OUT_PDF) +# create man out directory +$(OUT_MAN): $(OUT) + @$(ECHO) "\t[MKDIR ] $@" + @$(MKDIR) $(OUT_MAN) + # cleanup task clean: @$(ECHO) "\t[RM ] $@" @@ -145,5 +150,12 @@ $(TARGET_HTML): $(OUT_HTML) --template $(TEMPLATES)/default.html5 \ $(SRC) -o $@ +man: $(TARGET_MAN) + +$(TARGET_MAN): $(OUT_MAN) + @$(ECHO) "\t[PANDOC] man" + @$(PANDOC_CC_MAN) \ + $(SRC) -o $@ + .PHONY: $(TARGET_PDF) $(TARGET_HTML) |