From: Sergey Matveev Date: Thu, 23 Jul 2020 15:24:25 +0000 (+0300) Subject: Replace Makefile with redo X-Git-Tag: 8.2~8 X-Git-Url: http://www.git.cypherpunks.ru/?p=pyderasn.git;a=commitdiff_plain;h=76303f2ae20a7c73f3fd2299c789e4cda59638a1 Replace Makefile with redo --- diff --git a/doc/.gitignore b/doc/.gitignore index e35d885..28e3f58 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1 +1,2 @@ _build +build.log diff --git a/doc/Makefile b/doc/Makefile deleted file mode 100644 index 2edea2b..0000000 --- a/doc/Makefile +++ /dev/null @@ -1,2 +0,0 @@ -html: - python -msphinx . _build/html diff --git a/doc/build.log.do b/doc/build.log.do new file mode 100644 index 0000000..2b9c5e9 --- /dev/null +++ b/doc/build.log.do @@ -0,0 +1,7 @@ +rm -fr _build +html=_build/html +PYTHONPATH=.. ${PYTHON:=python} -msphinx . $html +cp -r download $html +rm -r $html/.doctrees $html/.buildinfo +find $html -type d -exec chmod 755 {} \; +find $html -type f -exec chmod 644 {} \;