Fix 'make install' failure.
authoralpar
Tue, 11 Jan 2005 09:09:50 +0000
changeset 1072ce824c6ffd5d
parent 1071 7c70fc1b2d8b
child 1073 bedab8bd915f
Fix 'make install' failure.
doc/Makefile.am
     1.1 --- a/doc/Makefile.am	Tue Jan 11 09:08:47 2005 +0000
     1.2 +++ b/doc/Makefile.am	Tue Jan 11 09:09:50 2005 +0000
     1.3 @@ -25,7 +25,7 @@
     1.4  install-data-local: html/index.html
     1.5  	@$(NORMAL_INSTALL)
     1.6  	$(mkinstalldirs) $(DESTDIR)$(htmldir)
     1.7 -	@dir='$(<D)'; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \
     1.8 +	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \
     1.9  	  f="`echo $$p | sed -e 's|^.*/||'`"; \
    1.10  	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \
    1.11  	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \
    1.12 @@ -33,7 +33,7 @@
    1.13  
    1.14  uninstall-local: html/index.html
    1.15  	@$(NORMAL_UNINSTALL)
    1.16 -	@dir='$(<D)'; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \
    1.17 +	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \
    1.18  	  f="`echo $$p | sed -e 's|^.*/||'`"; \
    1.19  	  echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
    1.20  	  rm -f $(DESTDIR)$(htmldir)/$$f; \