1 all: govpn.info govpn.html
5 handshake.utxt: handshake.txt
6 plantuml -tutxt handshake.txt
8 govpn.info: *.texi handshake.utxt
9 $(MAKEINFO) -o govpn.info index.texi
13 govpn.html: *.texi handshake.utxt
14 rm -f govpn.html/*.html
16 --set-customization-variable CSS_LINES='$(CSS)' \
17 --set-customization-variable SHOW_TITLE=0 \
18 --set-customization-variable USE_ACCESSKEY=0 \
19 --set-customization-variable DATE_IN_HEADER=1 \
20 --set-customization-variable TOP_NODE_UP_URL=index.html \
21 --set-customization-variable CLOSE_QUOTE_SYMBOL=\" \
22 --set-customization-variable OPEN_QUOTE_SYMBOL=\" \
23 -o govpn.html index.texi
24 cp -r .well-known govpn.html/