diff options
| -rw-r--r-- | Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..bcd0ab5 --- /dev/null +++ b/Makefile @@ -0,0 +1,18 @@ +HTML_DIR := manual + +all: info-doc html-doc + +info-doc: doc/fullswof-utils.texi + makeinfo --output=doc/fullswof-utils.info --no-split $< + +html-doc: doc/fullswof-utils.texi + @test -d $(HTML_DIR) || mkdir $(HTML_DIR) + makeinfo --html --output=$(HTML_DIR)/html_node $< + makeinfo --html --output=$(HTML_DIR)/fullswof-utils.html \ + --no-split $< + +clean: + @echo "Cleaning up..." + @rm -rf manual + +.PHONY: clean |