Reinstate erroneously deleted `*.tex' and `*.texi' files.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 12 May 2016 12:49:09 +0000 (13:49 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 12 May 2016 12:49:09 +0000 (13:49 +0100)
The previous commit contained part of a reorganization effort.
Unfortunately, it only contained the part which broke everything.
Reinstate the missing things.


No differences found