summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorAlexandre Duret-Lutz <adl@gnu.org>2002-11-30 20:12:19 +0000
committerAlexandre Duret-Lutz <adl@gnu.org>2002-11-30 20:12:19 +0000
commit2c8ac917bcecd9305075f2af77dd0ae93e8d65b6 (patch)
treeabe9278b4295286715f47022ba3807eb32713d6a /THANKS
parent9ef8a37f5a110e398f5ab72df08039dd5aae9d5c (diff)
downloadautomake-2c8ac917bcecd9305075f2af77dd0ae93e8d65b6.tar.gz
For PR automake/375 (Debian Bug #168671):
* automake.in (scan_texinfo_file): Erase all known index files, no matter whether they are used at the top-level or not, because we can never know if they are used in included files. The remaining macros we recognize at the top-level of a Texi document are @defindex, @defcodeindex, @synindex, and @syncodeindex. * tests/texinfo18.test: New file. * tests/Makefile.am (TESTS): Add texinfo18.test. Reported by Simon Richter.
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 83edfd916..8b5979f60 100644
--- a/THANKS
+++ b/THANKS
@@ -182,6 +182,7 @@ Sergey Vlasov vsu@mivlgu.murom.ru
Seth Alves alves@hungry.com
Shuhei Amakawa sa264@cam.ac.uk
Shigio Yamaguchi shigio@tamacom.com
+Simon Richter sjr@debian.org
Steve M. Robbins steve@nyongwa.montreal.qc.ca
Sven Verdoolaege skimo@kotnet.org
Tamara L. Dahlgren dahlgren1@llnl.gov