www.do | 2 +- diff --git a/www.do b/www.do index f6b167d99ea5d6cfc070300eafe2be8be5eede52e933b6abe09a9f34bb186794..ad21940481b76b63c8468b7010fa3021de888e4cfe7393e18602e5ce86aa7a18 100644 --- a/www.do +++ b/www.do @@ -1,7 +1,7 @@ redo-ifchange *.texi VERSION rm -f pygost.html/*.html ${MAKEINFO:-makeinfo} --html \ - -D "VERSION `cat VERSION`" + -D "VERSION `cat VERSION`" \ --set-customization-variable EXTRA_HEAD='' \ --set-customization-variable CSS_LINES="`cat style.css`" \ --set-customization-variable SHOW_TITLE=0 \