1.1 --- a/doc/Makefile.am	Tue May 26 17:47:51 2009 +0100
     1.2 +++ b/doc/Makefile.am	Tue May 26 17:49:10 2009 +0100
     1.3 @@ -91,19 +91,19 @@
     1.4  
     1.5  install-html-local: doc/html
     1.6  	@$(NORMAL_INSTALL)
     1.7 -	$(mkinstalldirs) $(DESTDIR)$(htmldir)/docs
     1.8 +	$(mkinstalldirs) $(DESTDIR)$(htmldir)/html
     1.9  	for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
    1.10  	  f="`echo $$p | sed -e 's|^.*/||'`"; \
    1.11 -	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f"; \
    1.12 -	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f; \
    1.13 +	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/html/$$f"; \
    1.14 +	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/html/$$f; \
    1.15  	done
    1.16  
    1.17  uninstall-local:
    1.18  	@$(NORMAL_UNINSTALL)
    1.19  	for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
    1.20  	  f="`echo $$p | sed -e 's|^.*/||'`"; \
    1.21 -	  echo " rm -f $(DESTDIR)$(htmldir)/docs/$$f"; \
    1.22 -	  rm -f $(DESTDIR)$(htmldir)/docs/$$f; \
    1.23 +	  echo " rm -f $(DESTDIR)$(htmldir)/html/$$f"; \
    1.24 +	  rm -f $(DESTDIR)$(htmldir)/html/$$f; \
    1.25  	done
    1.26  
    1.27  .PHONY: update-external-tags