From 76303f2ae20a7c73f3fd2299c789e4cda59638a1 Mon Sep 17 00:00:00 2001
From: Sergey Matveev <stargrave@stargrave.org>
Date: Thu, 23 Jul 2020 18:24:25 +0300
Subject: [PATCH] Replace Makefile with redo

---
 doc/.gitignore   | 1 +
 doc/Makefile     | 2 --
 doc/build.log.do | 7 +++++++
 3 files changed, 8 insertions(+), 2 deletions(-)
 delete mode 100644 doc/Makefile
 create mode 100644 doc/build.log.do

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 {} \;
-- 
2.44.0