equal
deleted
inserted
replaced
2 temp_dir="/home/hg/repos/SEES-hacks" |
2 temp_dir="/home/hg/repos/SEES-hacks" |
3 repo="/home/hg/repos/test_review/sttp/" |
3 repo="/home/hg/repos/test_review/sttp/" |
4 html_folder="/home/hg/repos/SEES-hacks/SEESenv/web/html/" |
4 html_folder="/home/hg/repos/SEES-hacks/SEESenv/web/html/" |
5 mkdir $temp_dir/temp |
5 mkdir $temp_dir/temp |
6 python $repo_scripts/myrst2xml.py $repo |
6 python $repo_scripts/myrst2xml.py $repo |
7 python $repo_scripts/rst2docbook.py $temp_dir/temp |
7 python $repo_scripts/rst2docbook.py $repo |
8 python $repo_scripts/autoid.py $temp_dir/temp |
8 python $repo_scripts/autoid.py $temp_dir/temp |
9 python $repo_scripts/docbook2html.py $temp_dir/temp |
9 python $repo_scripts/docbook2html.py $temp_dir/temp |
10 python $repo_scripts/finalhtml.py $temp_dir/temp |
10 python $repo_scripts/finalhtml.py $temp_dir/temp |
11 python $repo_scripts/changenames.py $temp_dir/temp |
11 python $repo_scripts/changenames.py $temp_dir/temp |
12 rm -r $html_folder/*.html |
12 rm -r $html_folder/*.html |