diff config.bat @ 23416:83f51f5fb749

(Info-insert-dir): Detect and report problems in input files, such as "No Top node". Return with point at the beginning of the text. (Info-find-node): Reinsert the code to handle files with no tags table; it was deleted by mistake.
author Richard M. Stallman <rms@gnu.org>
date Sun, 11 Oct 1998 22:44:46 +0000
parents 4c2b38ea02fe
children b918e6330d6e
line wrap: on
line diff