diff man/widget.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 c1bde47f6b18
children 983e65f12610
line wrap: on
line diff