From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 12 May 2016 12:49:09 +0000 (+0100)
Subject: Reinstate erroneously deleted `*.tex' and `*.texi' files.
X-Git-Tag: 1.3.11~6
X-Git-Url: https://git.distorted.org.uk/~mdw/cfd/commitdiff_plain/eeec6d1dab561a907818aa16b21da8b686d18405?hp=eeec6d1dab561a907818aa16b21da8b686d18405

Reinstate erroneously deleted `*.tex' and `*.texi' files.

The previous commit contained part of a reorganization effort.
Unfortunately, it only contained the part which broke everything.
Reinstate the missing things.
---