diff lispref/locals.texi @ 64373:7fddcb1d1fe5

Finish config.log with a line that indicates that the configure step was successful.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 16 Jul 2005 12:37:06 +0000
parents da652d3d778e
children 4daccd802437 fb79180b618d
line wrap: on
line diff