www.do | 25 ------------------------- diff --git a/www.do b/www.do deleted file mode 100644 index 9af6dd2c192ce387f52b09a327e46f180aeaa68d07c9e780e09fb6183e41ac45..0000000000000000000000000000000000000000 --- a/www.do +++ /dev/null @@ -1,25 +0,0 @@ -redo-ifchange *.texi -html=gogost.html -rm -f $html/*.html -${MAKEINFO:-makeinfo} --html \ - -D "VERSION `./version`" \ - --set-customization-variable NO_CSS=1 \ - --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 DATE_IN_HEADER=1 \ - --set-customization-variable ASCII_PUNCTUATION=1 \ - --output $html www.texi -cp PUBKEY-* $html/ -( - cd $html - export ATOM_ID="34c4c603-9fa7-4441-a089-881d216d8638" - export NAME=GoGOST - export BASE_URL=http://www.gogost.cypherpunks.ru - export AUTHOR_EMAIL=gogost@cypherpunks.ru - ~/work/releases-feed/releases.atom.zsh -) -perl -i -npe 'print "\n" if /^<\/head>/' $html/Download.html -find $html -type d -exec chmod 755 {} + -find $html -type f -exec chmod 644 {} +