1 files changed, 17 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile
new file mode 100644
index 0000000..62c3229
--- /dev/null
+++ b/doc/Makefile
@@ -0,0 +1,17 @@
+CHAPTERS := $(SITE) blurb intro running input licence
+
+INPUTS = $(patsubst %,%.but,$(CHAPTERS))
+
+HALIBUT = ../build/halibut
+
+all: Contents.html
+
+Contents.html: $(INPUTS)
+	$(HALIBUT) $(INPUTS)
+	rm -f index.html
+	ln -s Contents.html index.html
+	mv output.txt halibut.txt
+	rm -f output.hlp output.cnt output.1
+
+clean:
+	rm -f *.html *.txt *.hlp *.cnt *.1