diff man/maintaining.texi @ 73914:4f55cacfb44d

(ebnf-stop-on-error): Improve previous doc fix.
author Glenn Morris <rgm@gnu.org>
date Sat, 11 Nov 2006 04:02:22 +0000
parents 7ceb7ea56476
children 3d45362f1d38 8a8e69664178
line wrap: on
line diff