From: Sergey Matveev Date: Sun, 12 Jul 2020 10:37:22 +0000 (+0300) Subject: Замена Makefile на redo цель X-Git-Url: http://www.git.cypherpunks.ru/?p=cypherpunks-www.git;a=commitdiff_plain;h=e13329dfa6f8c7d76e19eb1918c58493ee749238 Замена Makefile на redo цель --- diff --git a/Makefile b/Makefile deleted file mode 100644 index 5551caa..0000000 --- a/Makefile +++ /dev/null @@ -1,12 +0,0 @@ -CSS != cat style.css - -html: - makeinfo --html \ - --set-customization-variable CSS_LINES='$(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=\" \ - --set-customization-variable OPEN_QUOTE_SYMBOL=\" \ - -o cypherpunks.html index.texi diff --git a/all.do b/all.do new file mode 100644 index 0000000..c7dacab --- /dev/null +++ b/all.do @@ -0,0 +1,11 @@ +rm -rf cypherpunks.html +makeinfo --html \ + --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=\" \ + --set-customization-variable OPEN_QUOTE_SYMBOL=\" \ + -o cypherpunks.html index.texi