Documentation Source Text

All files named ”push.sh”
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

History for push.sh

2012-10-19
22:24
Added: [d686863bbe] part of check-in [ac603d6340] Add a script for pushing builds of the website out to all three servers. Take care that draft builds are pushed only in the draft directory. (check-in: [ac603d6340] user: drh branch: trunk, size: 533)