Index: /trunk/source/doc/src/Makefile.fedora
===================================================================
--- /trunk/source/doc/src/Makefile.fedora	(revision 8557)
+++ /trunk/source/doc/src/Makefile.fedora	(revision 8558)
@@ -67,16 +67,8 @@
 all: $(TEMP) $(HTMLFILES) distclean
 
-%.html:%.xml $(XSLFILES) Makefile.fedora
-	$(XSLTPROC) \
-		--stringparam root.filename $(basename $(@F)) \
-		--stringparam base.dir $(TEMP)/ \
-		--stringparam openmcl.directory $(@D)/ \
-		--stringparam onechunk \
-			$(if $(findstring Doc, $(@D)), 0, 1) \
-		--stringparam xsltproc.version "$(XSLTPROCVERSION)." \
-		$(EXTRAPARAMS) \
-		$(STYLESHEET) $<
-	rm -f $(if $(findstring Doc, $(@D)), $(@D)/*.html, $@)
-	mv $(TEMP)/*.html $(@D)/
+include makehtml
+
+install: $(HTMLFILES)
+	cp $(HTMLFILES) ../HTML
 
 $(TEMP):
Index: /trunk/source/doc/src/Makefile.macports
===================================================================
--- /trunk/source/doc/src/Makefile.macports	(revision 8557)
+++ /trunk/source/doc/src/Makefile.macports	(revision 8558)
@@ -67,17 +67,8 @@
 all: $(TEMP) $(HTMLFILES) distclean
 
-%.html:%.xml $(XSLFILES) Makefile
-	$(XSLTPROC) \
-		--stringparam root.filename $(basename $(@F)) \
-		--stringparam base.dir $(TEMP)/ \
-		--stringparam openmcl.directory $(@D)/ \
-		--stringparam onechunk \
-			$(if $(findstring Doc, $(@D)), 0, 1) \
-		--stringparam xsltproc.version "$(XSLTPROCVERSION)." \
-		$(EXTRAPARAMS) \
-		$(STYLESHEET) $<
-	rm -f $(if $(findstring Doc, $(@D)), $(@D)/*.html, $@)
-	mv $(TEMP)/*.html $(@D)/
-        rm -rf $(TEMP)
+include makehtml
+
+install: $(HTMLFILES)
+	cp $(HTMLFILES) ../HTML
 
 $(TEMP):
Index: /trunk/source/doc/src/makehtml
===================================================================
--- /trunk/source/doc/src/makehtml	(revision 8558)
+++ /trunk/source/doc/src/makehtml	(revision 8558)
@@ -0,0 +1,12 @@
+%.html:%.xml $(XSLFILES) Makefile.fedora
+	$(XSLTPROC) \
+		--stringparam root.filename $(basename $(@F)) \
+		--stringparam base.dir $(TEMP)/ \
+		--stringparam openmcl.directory $(@D)/ \
+		--stringparam onechunk \
+			$(if $(findstring Doc, $(@D)), 0, 1) \
+		--stringparam xsltproc.version "$(XSLTPROCVERSION)." \
+		$(EXTRAPARAMS) \
+		$(STYLESHEET) $<
+	rm -f $(if $(findstring Doc, $(@D)), $(@D)/*.html, $@)
+	mv $(TEMP)/*.html $(@D)/