publish
author Aryeh Gregor <AryehGregor+gitcommit@gmail.com>
Wed, 21 Sep 2011 14:29:54 -0600
changeset 614 ee2791b98b92
parent 580 76a8d2c3e11f
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.

Fixes: http://www.w3.org/Bugs/Public/show_bug.cgi?id=13811
Fixes: http://www.w3.org/Bugs/Public/show_bug.cgi?id=14231
     1 #!/bin/sh
     2 # This is the script I use on my server to publish the spec.  It's not really
     3 # useful for anyone else, I just want it in version control somewhere.
     4 set -e
     5 cd ~/webroot/spec/editing
     6 git pull
     7 git push github
     8 cd ~/webroot/tmp/editing
     9 git fetch --all
    10 cd ~/webroot/spec
    11 rm -rf hg-editing || true
    12 hg clone ~/webroot/tmp/editing hg-editing
    13 cd hg-editing
    14 hg push -r master https://dvcs.w3.org/hg/editing