diff etc/ps-prin0.ps @ 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 b5a4db21c424
children e5675426ff4c
line wrap: on
line diff