summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSergey Matveev <stargrave@stargrave.org>2020-07-23 18:24:25 +0300
committerSergey Matveev <stargrave@stargrave.org>2020-07-23 18:24:25 +0300
commit76303f2ae20a7c73f3fd2299c789e4cda59638a1 (patch)
tree9d929608fbf496ea923dfa2a5c7de2b3f744e3e3
parent795cb95fcc2dd43d40d25da690f75a8970d492b1 (diff)
downloadpyderasn-76303f2ae20a7c73f3fd2299c789e4cda59638a1.tar.xz
Replace Makefile with redo
-rw-r--r--doc/.gitignore1
-rw-r--r--doc/Makefile2
-rw-r--r--doc/build.log.do7
3 files changed, 8 insertions, 2 deletions
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 {} \;