Revise the scripts I use to update the documentation on the SourceForge

site.  These now seem (slightly) more reliable, and easier to work with
since update-docs.sh no longer needs to be installed ahead of time on
my account at SF.