comparison src/gnu.h @ 49390:1ab93adb0017

(Info-index): change pattern so that index entries with colons can be read properly; also, require at least one space after the colons, which makeinfo puts in. From: Aubrey Jaffer <agj@alum.mit.edu>, 7 Nov 2002 21:16:12 -0500, sent to bug-texinfo.
author Karl Berry <karl@gnu.org>
date Wed, 22 Jan 2003 20:35:23 +0000
parents 6ad8db6dc039
children 695cf19ef79e d7ddb3e565de
comparison
equal deleted inserted replaced
49389:2867da9cc2b0 49390:1ab93adb0017