diff Makefile.in @ 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 6211df193121
children 88beb338a4cc 02cf29720f31
line wrap: on
line diff