+html=cypherpunks.html
+rm -rf $html
+${MAKEINFO:-makeinfo} --html \
+ --css-include style.css \
+ --set-customization-variable SECTION_NAME_IN_TITLE=1 \
+ --set-customization-variable TREE_TRANSFORMATIONS=complete_tree_nodes_menus \
+ --set-customization-variable FORMAT_MENU=menu \