2012-08-02 <mhucka@caltech.edu>
Trivial shell script to help create the documentation archive.
