# HG changeset patch
# User alpar
# Date 1147166462 0
# Node ID 00c4ce4f4170d2ccfcff84e12028198131df39a7
# Parent  1287ef6c180fa77d28685191851f89cc18eefe95
Also install .gif files.

diff -r 1287ef6c180f -r 00c4ce4f4170 doc/Makefile.am
--- a/doc/Makefile.am	Mon May 08 17:03:52 2006 +0000
+++ b/doc/Makefile.am	Tue May 09 09:21:02 2006 +0000
@@ -35,7 +35,7 @@
 install-data-local: html/index.html
 	@$(NORMAL_INSTALL)
 	$(mkinstalldirs) $(DESTDIR)$(htmldir)
-	@dir='html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
+	@dir='html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.gif $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
 	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \
 	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \
@@ -43,7 +43,7 @@
 
 uninstall-local: html/index.html
 	@$(NORMAL_UNINSTALL)
-	@dir='html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
+	@dir='html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.gif $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
 	  echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
 	  rm -f $(DESTDIR)$(htmldir)/$$f; \