{,l,a}gpl-*.{tex,texi}: Proper typeset versions of the licences.
[runlisp] / build-setup
2013-06-25 Mark WoodingAdd lots of GPL versions.
2008-03-22 Mark WoodingUprate build system again, for new style.
2008-02-27 Mark WoodingGenerally bring up-to-date.