rm -f pygost.html/*.html
${MAKEINFO:-makeinfo} --html \
-D "VERSION `cat VERSION`" \
- --css-include style.css \
+ --set-customization-variable NO_CSS=1 \
--set-customization-variable SECTION_NAME_IN_TITLE=1 \
--set-customization-variable TREE_TRANSFORMATIONS=complete_tree_nodes_menus \
--set-customization-variable FORMAT_MENU=menu \
--set-customization-variable DATE_IN_HEADER=1 \
--set-customization-variable ASCII_PUNCTUATION=1 \
--output pygost.html www.texi
+cp PUBKEY-* pygost.html/
(
cd pygost.html
export ATOM_ID="98c5d1c8-b867-4eee-91b0-ef2c507e93b9"