diff etc/enriched.doc @ 51797:7ea30d8ab42d

(compile-auto-highlight): Default now t. (compile): Doc fix. (compilation-next-error): Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Mon, 07 Jul 2003 20:53:19 +0000
parents 07abc8d4c648
children d6e9f4f22388 d7ddb3e565de
line wrap: on
line diff