--set-customization-variable DATE_IN_HEADER=1 \
--set-customization-variable ASCII_PUNCTUATION=1 \
--output pygost.html www.texi
--set-customization-variable DATE_IN_HEADER=1 \
--set-customization-variable ASCII_PUNCTUATION=1 \
--output pygost.html www.texi