diff man/rmail.texi @ 42939:0786ea38f9fd

(compilation-handle-exit): Add a compilation-handle-exit property to the "finished" message. (compilation-parse-errors): Stop parsing when that property is seen.
author Richard M. Stallman <rms@gnu.org>
date Fri, 25 Jan 2002 02:36:36 +0000
parents 2fc0bb5d638f
children c69907b4eb03
line wrap: on
line diff