1 files changed, 11 insertions, 0 deletions
diff --git a/jjb/octopus/build-docu.sh b/jjb/octopus/build-docu.sh
new file mode 100644
index 000000000..cbbf265d3
--- /dev/null
+++ b/jjb/octopus/build-docu.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+for file in $(find . -type f -iname '*.rst'); do
+         file_cut="${{file%.*}}"
+         html_file=$file_cut".html"
+         pdf_file=$file_cut".pdf"
+         rst2html $file > $html_file
+         rst2pdf $file -o $pdf_file
+done
+v
+v
+