Makefile

   1 html:
   2         makeinfo --html \
   3                 --css-include=style.css \
   4                 --set-customization-variable SHOW_TITLE=0 \
   5                 --set-customization-variable DATE_IN_HEADER=1 \
   6                 --set-customization-variable TOP_NODE_UP_URL=index.html \
   7                 -o cypherpunks.html index.texi