diff man/search.texi @ 28663:75826102199c

(Texinfo_functions): New function. (lang_names): Install it. (Texinfo_suffixes): New variable.
author Dave Love <fx@gnu.org>
date Wed, 19 Apr 2000 21:51:27 +0000
parents ec699636f83a
children 65af0f27a892
line wrap: on
line diff