diff etc/enriched.doc @ 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 026d2f64b0c3
children 07abc8d4c648
line wrap: on
line diff