--- slib.cvs/Makefile 2013-05-09 03:20:10.000000000 +0200 +++ slib/Makefile 2013-06-14 14:47:20.378770336 +0200 @@ -183,7 +183,7 @@ $(MAKEINFO) --html --no-split --no-warn --force $< slib-$(VERSION).info: slib.texi version.txi $(txifiles) $(texifiles) - $(MAKEINFO) $< --no-warn --no-split -o slib-$(VERSION).info + $(MAKEINFO) --force $< --no-warn --no-split -o slib-$(VERSION).info slib.info: slib-$(VERSION).info if [ -f $(prevdocsdir)slib.info ];\ then infobar $(prevdocsdir)slib.info slib-$(VERSION).info \