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
11 govpn.html: *.texi handshake.utxt
12 rm -f govpn.html/*.html
14 --css-include=style.css \
15 --set-customization-variable SHOW_TITLE=0 \
16 --set-customization-variable DATE_IN_HEADER=1 \
17 -o govpn.html index.texi