Checklist for making a gretl release

Local:
* Update the fedstl database if it needs it
* Ensure the addon zipfiles are up to date with git
* Update lib/src/version.h
* Re-run the configure script in all build directories
* Update src/Changelog and src/CompatLog with the current date
* Commit the above changes to git
* Rebuild and publish the PDF docs
* "make dist" to create the new gretl-YYYYx.tar.xz
* Make the MS Windows installers (32- and 64-bit)
* Make the Mac OS X installers (intel-X11, ppc, quartz)

Remote:
* On sourceforge, make a new versioned subdirectory for gretl,
  and upload the source package as well as the per-platform
  binary packages. Upload a README. Use the SF File
  Manager to mark the new files as the default downloads.
* Also make a new versioned subdirectory of "addons" and
  upload the .zip addon files, if need be.

Local:
* Update all the web docs (this is automated: ./update_html)
  and upload them to sourceforge
* Update the libgretl API docs and upload ("apipack")
* Send a message to gretl-announce

Allin Cottrell
last revised, July 2016
