diff Makefile.in @ 84574:9b680bcdc6f2

Fix makeinfo version regexp.
author Glenn Morris <rgm@gnu.org>
date Sat, 15 Sep 2007 19:45:45 +0000
parents 334c557039a0
children 32a99bd66e4c 14c4a6aac623
line wrap: on
line diff