annotate info/.cvsignore @ 94597:100982f1144d

(--without-makeinfo): New option. If set, absence of suitable makeinfo is not a fatal error.
author Glenn Morris <rgm@gnu.org>
date Sat, 03 May 2008 20:16:15 +0000
parents b34b9f928699
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
58433
b34b9f928699 Ignore everything. It's OK since .cvsignore does
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 57057
diff changeset
1 *