diff configure @ 28036:ec8b11f3d3da

(Fdocumentation_property): If value is not a string, and doesn't refer to etc/DOC, evaluate it to obtain a string.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 07 Mar 2000 14:19:23 +0000
parents e06c6af9d981
children ee660e36891c
line wrap: on
line diff