Docs: Add rebuild script

[ppu.git] / docs / rebuild

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