--- html/Makefile.in.orig	Wed May 25 21:24:12 2005
+++ html/Makefile.in	Wed May 25 21:24:54 2005
@@ -33,7 +33,9 @@
 devclean: clean
 
 install:
+.if !exists($(DESTDIR)$(HTMLDIR))
 	$(INSTALL) -m 775 $(INSTALL_OPTS) -d $(DESTDIR)$(HTMLDIR)
+.endif
 	$(INSTALL) -m 775 $(INSTALL_OPTS) -d $(DESTDIR)$(HTMLDIR)/media
 	$(INSTALL) -m 775 $(INSTALL_OPTS) -d $(DESTDIR)$(HTMLDIR)/stylesheets
 	$(INSTALL) -m 775 $(INSTALL_OPTS) -d $(DESTDIR)$(HTMLDIR)/contexthelp