X-Git-Url: http://www.git.cypherpunks.ru/?a=blobdiff_plain;f=www.do;h=b1198ba4e409ec13828b4211e647b517a30c8e44;hb=61d68bda6f6d7c39243701b5f647f62cc4d9d286;hp=4c3c334f430623d2a575f7dc9f0cfacf687ac788;hpb=0aa5753ad4fe3cf8a65c3cef40babce1a6a07888;p=pygost.git diff --git a/www.do b/www.do index 4c3c334..b1198ba 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 \