]> git.phdru.name Git - ppu.git/commitdiff
Docs: Add rebuild script
authorOleg Broytman <phd@phdru.name>
Fri, 15 Dec 2017 18:19:05 +0000 (21:19 +0300)
committerOleg Broytman <phd@phdru.name>
Fri, 15 Dec 2017 18:19:05 +0000 (21:19 +0300)
[skip ci]

docs/rebuild [new file with mode: 0755]

diff --git a/docs/rebuild b/docs/rebuild
new file mode 100755 (executable)
index 0000000..57cdeba
--- /dev/null
@@ -0,0 +1,2 @@
+#! /bin/sh
+PYTHONPATH=.. exec make html