equal
deleted
inserted
replaced
10 python $repo/docbook2html.py |
10 python $repo/docbook2html.py |
11 python $repo/finalhtml.py |
11 python $repo/finalhtml.py |
12 |
12 |
13 cp $temp_dir/temp/*.html /home/amit/repos/SEES-hacks/SEESenv/web/html/ |
13 cp $temp_dir/temp/*.html /home/amit/repos/SEES-hacks/SEESenv/web/html/ |
14 cp $temp_dir/temp/p_list.py /home/amit/repos/SEES-hacks/SEESenv/web/hgbook/comments/ |
14 cp $temp_dir/temp/p_list.py /home/amit/repos/SEES-hacks/SEESenv/web/hgbook/comments/ |
15 rm -r $temp_dir |
15 rm -r $temp_dir/temp |