X-Git-Url: http://www.git.cypherpunks.ru/?a=blobdiff_plain;f=www.do;h=3ae1c576544f5a909223da5744b863ad16a236ca;hb=50d4c54f3c7e0c92e7f7a11ae69f7fd3c206d9a2;hp=4c3c334f430623d2a575f7dc9f0cfacf687ac788;hpb=0aa5753ad4fe3cf8a65c3cef40babce1a6a07888;p=pygost.git diff --git a/www.do b/www.do index 4c3c334..3ae1c57 100644 --- a/www.do +++ b/www.do @@ -1,14 +1,16 @@ redo-ifchange *.texi VERSION rm -f pygost.html/*.html ${MAKEINFO:-makeinfo} --html \ - -D "VERSION `cat VERSION`" + -D "VERSION `cat VERSION`" \ + --css-include style.css \ + --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 EXTRA_HEAD='' \ - --set-customization-variable CSS_LINES="`cat style.css`" \ --set-customization-variable SHOW_TITLE=0 \ --set-customization-variable DATE_IN_HEADER=1 \ - --set-customization-variable TOP_NODE_UP_URL=index.html \ --set-customization-variable CLOSE_QUOTE_SYMBOL=\" \ --set-customization-variable OPEN_QUOTE_SYMBOL=\" \ -o pygost.html www.texi -find pygost.html -type d -exec chmod 755 {} \; -find pygost.html -type f -exec chmod 644 {} \; +find pygost.html -type d -exec chmod 755 {} + +find pygost.html -type f -exec chmod 644 {} +