--- Makefile.orig	Wed Aug  8 21:00:54 2007
+++ Makefile	Fri Sep 14 12:30:38 2007
@@ -11,7 +11,10 @@
 
 include $(top_srcdir)/config/Make.rules
 
-SUBDIRS		= config src include test demo slice doc
+SUBDIRS		= config src include test demo slice
+ifndef NOPORTDOCS
+SUBDIRS		+= doc
+endif
 
 INSTALL_SUBDIRS	= $(install_bindir) $(install_libdir) $(install_includedir) $(install_slicedir) $(install_docdir)
 
@@ -51,12 +54,14 @@
 	@( cd doc && $(MAKE) ) || exit 1
 
 install::
+ifndef NOPORTDOCS
 	@if test -d doc ; \
 	then \
 	    ( cd doc && $(MAKE) install ) || exit 1 ; \
 	fi
-	$(call installdata,ICE_LICENSE,$(prefix))
-	$(call installdata,LICENSE,$(prefix))
+	$(call installdata,ICE_LICENSE,$(install_docdir))
+	$(call installdata,LICENSE,$(install_docdir))
+endif
 
 clean::
 	@if test -d doc ; \
