diff make-dist @ 75145:72242573ed99

(compile): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Tue, 09 Jan 2007 03:12:53 +0000
parents ddcbd2c1b70d
children 3d45362f1d38 f1d13e615070
line wrap: on
line diff