diff src/s/osf5-0.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 5ebd400725b6
children 695cf19ef79e
line wrap: on
line diff