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 CSS != cat style.css
  12
  13 govpn.html: *.texi handshake.utxt
  14         rm -f govpn.html/*.html
  15         $(MAKEINFO) --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                 -o govpn.html index.texi
  22         cp -r .well-known govpn.html/