X-Git-Url: http://www.git.cypherpunks.ru/?p=gogost.git;a=blobdiff_plain;f=www.do;h=174c93338344c632c9de5b5e695625d54c9dc462;hp=b2142c9d5b8956f4785681007612ba4632a43fa5;hb=4889e529cd1bbbf8a02a1d7062f2b954438ffe36;hpb=3cde236c0c4de0e7970593f71e4f976b8b98e826 diff --git a/www.do b/www.do index b2142c9..174c933 100644 --- a/www.do +++ b/www.do @@ -1,10 +1,11 @@ +redo-ifchange *.texi VERSION html=gogost.html rm -f $html/*.html ${MAKEINFO:-makeinfo} --html \ + -D "VERSION `cat VERSION`" \ --set-customization-variable EXTRA_HEAD='' \ --set-customization-variable CSS_LINES="`cat style.css`" \ --set-customization-variable SHOW_TITLE=0 \ - --set-customization-variable USE_ACCESSKEY=0 \ --set-customization-variable DATE_IN_HEADER=1 \ --set-customization-variable TOP_NODE_UP_URL=index.html \ --set-customization-variable CLOSE_QUOTE_SYMBOL=\" \