html: makeinfo --html \ --css-include=style.css \ --set-customization-variable SHOW_TITLE=0 \ --set-customization-variable DATE_IN_HEADER=1 \ -o cryptoparty.html index.texi static: cd static ; tar cf - . | tar xfC - ../cryptoparty.html cp -f logo.png cryptoparty.html