diff etc/gnus-pointer.xbm @ 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 20ca10cf58b3
children bb6c986199c4
line wrap: on
line diff