Capitalize makefile filename

[govpn.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
new file mode 100644 (file)
index 0000000..ec5af2a
--- /dev/null
+++ b/doc/Makefile
@@ -0,0 +1,13 @@
+all: govpn.info govpn.html
+
+MAKEINFO ?= makeinfo
+
+govpn.info: *.texi handshake.utxt
+       $(MAKEINFO) govpn.texi
+
+handshake.utxt: handshake.txt
+       plantuml -tutxt handshake.txt
+
+govpn.html: *.texi handshake.utxt
+       rm -f govpn.html/*.html
+       $(MAKEINFO) --html -o govpn.html govpn.texi