--- manuals/Makefile.orig 2011-09-26 01:39:18.000000000 -0600
+++ manuals/Makefile 2011-09-26 16:33:55.787975931 -0600
@@ -386,7 +386,7 @@
if [ "`grep "bdb.info" $(INFODIR)/dir` " = " " ]; then \
echo "* bdb: (bdb.info). The Bdb documentation." >> \
$(INFODIR)/dir; \
- fi && \
+ fi \
else \
$(INSTALLINFO) bdb.info $(INSTALLINFODIROPT) $(INFODIR)/dir; \
fi \