Use YAML instead of JSON for server configuration file

[govpn.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index ec5af2ac7212528ccb259acb9f36f228c0727773..e68437a4e8229a75d987426f678847ad5ac5d8a8 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -2,12 +2,12 @@ all: govpn.info govpn.html
 
 MAKEINFO ?= makeinfo
 
-govpn.info: *.texi handshake.utxt
-       $(MAKEINFO) govpn.texi
-
 handshake.utxt: handshake.txt
        plantuml -tutxt handshake.txt
 
+govpn.info: *.texi handshake.utxt
+       $(MAKEINFO) govpn.texi
+
 govpn.html: *.texi handshake.utxt
        rm -f govpn.html/*.html
-       $(MAKEINFO) --html -o govpn.html govpn.texi
+       $(MAKEINFO) --html --css-include=style.css -o govpn.html govpn.texi