From: Sergey Matveev Date: Tue, 16 Jul 2024 15:47:55 +0000 (+0300) Subject: Remove unnecessary target X-Git-Tag: v5.15.0~1 X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=b05e38b2e4043c9e61b2d8465216f347f4b7fcac;p=gogost.git Remove unnecessary target --- diff --git a/www.do b/www.do deleted file mode 100644 index 5dc4ceb..0000000 --- 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 {} +