diff options
Diffstat (limited to 'jjb/octopus/build-docu.sh')
-rw-r--r-- | jjb/octopus/build-docu.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/jjb/octopus/build-docu.sh b/jjb/octopus/build-docu.sh deleted file mode 100644 index 5978653d0..000000000 --- a/jjb/octopus/build-docu.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/bash -set -xv -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 |