diff options
Diffstat (limited to 'jjb/functest/build-docu.sh')
| -rw-r--r-- | jjb/functest/build-docu.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/jjb/functest/build-docu.sh b/jjb/functest/build-docu.sh deleted file mode 100644 index ca9ecd0d3..000000000 --- a/jjb/functest/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 |