Add no-documentation option for distribution builds

Author: chuckhoupt

unix/Makefile

@@ -2,13 +2,18 @@ all: standard
 
 core:
 	$(MAKE) -C ../core/unix all
-	$(MAKE) -C ../docs all
 	cd ../foreign_sdk/unix ; ./build.sh
 
+doc:
+	$(MAKE) -C ../docs all
+
 odbc:
 	cd ../extensions/odbc/i386_mswin32 ; ./build.bat
 
-standard: core
+standard: core doc
+	./build_dist.sh standard
+
+standard-nodoc: core
 	./build_dist.sh standard
 
 # If you want to just capture test output to a file, execute:

unix/build_dist.sh

@@ -66,7 +66,10 @@ done
 cp -p "$MAN/welcome_standard.txt" "$DISTDIR/README.txt"
 cp -p $MAN/$MANUAL "$DISTDIR/$MANUALNAME"
 cp -p $MAN/$REFMANUAL "$DISTDIR/$REFMANUALNAME"
-cp -pr $DOCS "$DISTDIR/docs"
+if test -d "$DOCS"
+then
+	cp -pr $DOCS "$DISTDIR/docs"
+fi
 cp -p "$ALS_PROLOG/core/alsp_src/doc/alspro.1" "$DISTDIR/alspro.1"