Reinstate erroneously deleted `*.tex' and `*.texi' files.
[catacomb] / GPL-1
2013-06-25 Mark WoodingAdd lots of GPL versions.