diff make-dist @ 23787:2bb8777a3ba7

(help-xref-button): Do nothing if text already has the help-xref property. (describe-variable): Revert previous change to hyperlink to source.
author Richard M. Stallman <rms@gnu.org>
date Mon, 30 Nov 1998 23:55:42 +0000
parents e270203c0c9f
children f14a9b714a8e
line wrap: on
line diff