3 export PATH=$PATH:/usr/local/bin/
5 git_sha1="$(git rev-parse HEAD)"
6 docu_build_date="$(date)"
9 while read -r -d ''; do
11 done < <(find * -type f -iname '*.rst' -print0)
13 for file in "${{files[@]}}"; do
15 file_cut="${{file%.*}}"
16 gs_cp_folder="${{file_cut}}"
19 sed -i "s/_sha1_/$git_sha1/g" $file
20 sed -i "s/_date_/$docu_build_date/g" $file
24 rst2html $file > $file_cut".html"
27 rst2pdf $file -o $file_cut".pdf"