aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile18
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