author Aryeh Gregor <>
Wed, 21 Sep 2011 14:29:54 -0600
changeset 614 ee2791b98b92
parent 588 11bb09aa6b33
child 629 0ae870dd03cd
permissions -rwxr-xr-x
Improve handling of invisible nodes

The required changes were amazingly non-invasive, since so much is
centralized in the wrap algorithm.

# This is the script I use on my server to publish the spec.  It's not really
# useful for anyone else, I just want it in version control somewhere.
set -e
cd ~/webroot/spec/editing
git pull
git push github
cd ~/webroot/tmp/editing
git fetch --all
cd ~/webroot/spec
rm -rf hg-editing || true
hg clone ~/webroot/tmp/editing hg-editing
cd hg-editing
hg push -r master