1 all: govpn.info govpn.html
5 handshake.utxt: handshake.txt
6 plantuml -tutxt handshake.txt
8 govpn.info: *.texi handshake.utxt
11 govpn.html: *.texi handshake.utxt
12 rm -f govpn.html/*.html
13 $(MAKEINFO) --html --css-include=style.css -o govpn.html govpn.texi