diff options
Diffstat (limited to 'docs/CommandGuide')
| -rw-r--r-- | docs/CommandGuide/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/CommandGuide/Makefile b/docs/CommandGuide/Makefile index 51088d397d..836c461801 100644 --- a/docs/CommandGuide/Makefile +++ b/docs/CommandGuide/Makefile @@ -57,6 +57,8 @@ PS = $(patsubst $(BUILD_SRC_DIR)/%.pod, $(BUILD_OBJ_DIR)/%.ps, $(POD)) $(HTML) : html/.dir man/.dir man/man1/.dir ps/.dir +html: $(HTML) + $(BUILD_OBJ_DIR)/%.html: %.pod $(POD2HTML) --css=manpage.css --htmlroot=. --podpath=. \ --noindex --infile=$< --outfile=$@ --title=$* |