diff make-dist @ 72811:89ca8074ddae

(Compilation Mode): Clarification. (Grep Searching): Add xref to Compilation Mode.
author Richard M. Stallman <rms@gnu.org>
date Mon, 11 Sep 2006 17:15:34 +0000
parents ef43d43a40be
children 81a55a7dc3c3 138ce2701550
line wrap: on
line diff