diff options
Diffstat (limited to 'jjb/functest/build-docu.sh')
| -rw-r--r-- | jjb/functest/build-docu.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/jjb/functest/build-docu.sh b/jjb/functest/build-docu.sh new file mode 100644 index 000000000..680686eb6 --- /dev/null +++ b/jjb/functest/build-docu.sh @@ -0,0 +1,8 @@ +#!/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 |