html:
	makeinfo --html \
		--css-include=style.css \
		--set-customization-variable SHOW_TITLE=0 \
		--set-customization-variable DATE_IN_HEADER=1 \
		-o cypherpunks.html index.texi