From 910ce83838552c962e9e3f80d3a0952409d982b4 Mon Sep 17 00:00:00 2001 From: Paul Garlick Date: Mon, 16 Dec 2019 20:43:38 +0000 Subject: add makefile. --- Makefile | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 Makefile 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 -- cgit