[DOC] More compact CSS

[govpn.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index b0a891cee96df51bd43ea9e96c725b432e60fdd5..f478ade0c7b792d07bbff844d6f0ebf7b54d182c 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -6,8 +6,17 @@ handshake.utxt: handshake.txt
        plantuml -tutxt handshake.txt
 
 govpn.info: *.texi handshake.utxt
-       $(MAKEINFO) govpn.texi
+       $(MAKEINFO) -o govpn.info index.texi
+
+CSS != cat style.css
 
 govpn.html: *.texi handshake.utxt
        rm -f govpn.html/*.html
-       $(MAKEINFO) --html -o govpn.html govpn.texi
+       $(MAKEINFO) --html \
+               --set-customization-variable CSS_LINES='$(CSS)' \
+               --set-customization-variable SHOW_TITLE=0 \
+               --set-customization-variable USE_ACCESSKEY=0 \
+               --set-customization-variable DATE_IN_HEADER=1 \
+               --set-customization-variable TOP_NODE_UP_URL=index.html \
+               -o govpn.html index.texi
+       cp -r .well-known govpn.html/