From e13329dfa6f8c7d76e19eb1918c58493ee749238 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Sun, 12 Jul 2020 13:37:22 +0300 Subject: [PATCH] =?utf8?q?=D0=97=D0=B0=D0=BC=D0=B5=D0=BD=D0=B0=20Makefile?= =?utf8?q?=20=D0=BD=D0=B0=20redo=20=D1=86=D0=B5=D0=BB=D1=8C?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- Makefile | 12 ------------ all.do | 11 +++++++++++ 2 files changed, 11 insertions(+), 12 deletions(-) delete mode 100644 Makefile create mode 100644 all.do 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 -- 2.44.0