# HG changeset patch
# User alpar
# Date 1105434590 0
# Node ID ce824c6ffd5d0dbe8979930b3349f4dc92cd92f5
# Parent  7c70fc1b2d8bcf2d41af40920e9e61aaaa6e2937
Fix 'make install' failure.

diff -r 7c70fc1b2d8b -r ce824c6ffd5d doc/Makefile.am
--- a/doc/Makefile.am	Tue Jan 11 09:08:47 2005 +0000
+++ b/doc/Makefile.am	Tue Jan 11 09:09:50 2005 +0000
@@ -25,7 +25,7 @@
 install-data-local: html/index.html
 	@$(NORMAL_INSTALL)
 	$(mkinstalldirs) $(DESTDIR)$(htmldir)
-	@dir='$(<D)'; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \
+	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \
 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
 	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \
 	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \
@@ -33,7 +33,7 @@
 
 uninstall-local: html/index.html
 	@$(NORMAL_UNINSTALL)
-	@dir='$(<D)'; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \
+	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \
 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
 	  echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
 	  rm -f $(DESTDIR)$(htmldir)/$$f; \