diff make-dist @ 21695:2c9cfb84bf1b

(describe-function): Make hyperlink to library file name, if available.
author Dave Love <fx@gnu.org>
date Tue, 21 Apr 1998 13:08:47 +0000
parents 8ff5c2a5ee26
children d929ae6f35d3
line wrap: on
line diff