--- GNUmakefile.orig	2009-05-26 15:00:55.000000000 -0300
+++ GNUmakefile	2009-08-07 14:36:10.000000000 -0300
@@ -4,10 +4,10 @@
 #
 #-----------------------------------------------------
 
-all: postgis loaderdumper utils
+all: postgis loaderdumper utils docs
 	@echo "PostGIS was built successfully. Ready to install." 
 
-install: all postgis-install loaderdumper-install
+install: all postgis-install loaderdumper-install docs-install
 
 uninstall: postgis-uninstall loaderdumper-uninstall docs-uninstall comments-uninstall
 
@@ -80,7 +80,9 @@
 	$(MAKE) -C extras/template_gis uninstall
 
 docs: 
-	$(MAKE) -C doc 
+ifndef NOPORTDOCS
+	$(MAKE) -C doc html/postgis.html
+endif
 
 docs-clean:
 	$(MAKE) -C doc clean
@@ -95,7 +97,9 @@
 	$(MAKE) -C doc comments-uninstall
 
 docs-install:
+ifndef NOPORTDOCS
 	$(MAKE) -C doc install
+endif
 
 docs-uninstall:
 	$(MAKE) -C doc uninstall