diff man/widget.texi @ 37575:cbc7ca823734

(help-xref-symbol-regexp): Recognize "source of" and friends, meaning make a link to the source file. (help-make-xrefs): Handle "source of" and friends by constructing a link that visits the source file.
author Richard M. Stallman <rms@gnu.org>
date Sat, 05 May 2001 22:31:41 +0000
parents a788be76cf22
children 8da84c32ff29
line wrap: on
line diff