doc/Makefile

   1 all: govpn.info govpn.html
   2
   3 MAKEINFO ?= makeinfo
   4
   5 handshake.utxt: handshake.txt
   6         plantuml -tutxt handshake.txt
   7
   8 govpn.info: *.texi handshake.utxt
   9         $(MAKEINFO) -o govpn.info index.texi
  10
  11 govpn.html: *.texi handshake.utxt
  12         rm -f govpn.html/*.html
  13         $(MAKEINFO) --html \
  14                 --css-include=style.css \
  15                 --set-customization-variable SHOW_TITLE=0 \
  16                 --set-customization-variable DATE_IN_HEADER=1 \
  17                 --set-customization-variable TOP_NODE_UP_URL=index.html \
  18                 -o govpn.html index.texi
  19         cp -r .well-known govpn.html/