Makefile

   1 CSS != cat style.css
   2
   3 html:
   4         makeinfo --html \
   5                 --set-customization-variable CSS_LINES='$(CSS)' \
   6                 --set-customization-variable SHOW_TITLE=0 \
   7                 --set-customization-variable USE_ACCESSKEY=0 \
   8                 --set-customization-variable DATE_IN_HEADER=1 \
   9                 --set-customization-variable TOP_NODE_UP_URL=index.html \
  10                 -o cryptoparty.html index.texi
  11
  12 static:
  13         cd static ; tar cf - . | tar xfC - ../cryptoparty.html
  14         cp -f logo.png cryptoparty.html