From: Sergey Matveev Date: Sat, 25 Jul 2020 09:59:35 +0000 (+0300) Subject: Использовать redo вместо Makefile X-Git-Url: http://www.git.cypherpunks.ru/?p=cryptoparty-www.git;a=commitdiff_plain;h=89c0363c97c77a64c2af96442dd1bfe4ff548382;ds=sidebyside Использовать redo вместо Makefile --- diff --git a/Makefile b/Makefile deleted file mode 100644 index edc3506..0000000 --- a/Makefile +++ /dev/null @@ -1,23 +0,0 @@ -.PHONY: static - -all: clean html static - -clean: - rm -rf cryptoparty.html - -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 cryptoparty.html index.texi - -static: - cd static ; tar cf - . | tar xfC - ../cryptoparty.html - cp -f logo.png cryptoparty.html diff --git a/all.do b/all.do new file mode 100644 index 0000000..de787d6 --- /dev/null +++ b/all.do @@ -0,0 +1,16 @@ +html=cryptoparty.html +rm -f $html/*.html +${MAKEINFO:-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 $html index.texi +( cd static ; tar cf - . | tar xfC - ../$html ) +cp -f logo.png $html/ +find $html -type d -exec chmod 755 {} \; +find $html -type f -exec chmod 644 {} \;