diff options
| author | Mike Gerwitz <mike.gerwitz@rtspecialty.com> | 2019-01-29 15:46:20 -0500 |
|---|---|---|
| committer | Mike Gerwitz <mike.gerwitz@rtspecialty.com> | 2019-01-29 15:46:21 -0500 |
| commit | 7f6961272cddcaac02a1de6c8faed161987c93d3 (patch) | |
| tree | 52b0fd58b7f4af51f8214c89e99a6f1b46cd7c37 /.gitignore | |
| parent | e30e69d904bcbed51219a4652a7b43cf322fc5f0 (diff) | |
| download | tame-7f6961272cddcaac02a1de6c8faed161987c93d3.tar.gz tame-7f6961272cddcaac02a1de6c8faed161987c93d3.tar.bz2 tame-7f6961272cddcaac02a1de6c8faed161987c93d3.zip | |
doc (Preprocessor): Extract into own file
* doc/Makefile.am (tame_TEXINFOS): Add `preproc.texi'.
* doc/preproc.texi: New file.
* doc/tame.texi: Extract `Preprocessing' section.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions