ghpage_update_instructions_and_more.txt

<< HOW TO UPDATE THE GIT-HUB PAGES FOR PROVE-IT >>

<<at the Prove-It level where the source branch (e.g., master) is checked out>>
cd doc
make html
cd ..
find . -name "*.html" -o -name "*.ipynb" -o -name "*presumptions.txt" -o -name "__pv_it" -o -name "*.png"  -o -name "notebook.css" -o -name ".nojekyll" | tar -czf pv_it_web.tar.gz -T -


<<in a location where the gh-pages branch is checkout out>>
git checkout --orphan gh-pages-update
git rm -rf .

<<move over pv_it_web.tar.gz into the directory one level up>>
tar -xzf ../pv_it_web.tar.gz

git add .
git commit -a -m "Git-Hub Pages update"
git push -f origin gh-pages-update:gh-pages

git checkout master
git branch -D gh-pages-update

rm ../pv_it_web.tar.gz

<< DONE! >>

<< IN ONE LINE AFTER CREATING/MOVING pv_it_web.tar.gz >>

in ProveItWeb folder (where Prove-It is cloned for this purpose)

git checkout master ; git branch -D gh-pages-update ; git checkout --orphan gh-pages-update ; git rm -rf . ; tar -xzf ../pv_it_web.tar.gz ; git add . ; git commit -a -m "Git-Hub Pages update" ; git push -f origin gh-pages-update:gh-pages ; rm ../pv_it_web.tar.gz

<< A useful command for adding all notebook updates to the repository >>
find . \( -name __pv_it -o -name .ipynb_checkpoints \) -prune -o -name "*.ipynb" -not -name "*stashed*.ipynb" -print | xargs git add