Tobias Hintze:

scripts/Create-ISO

@@ -30,7 +30,7 @@ if [ $# -eq 0 ] ; then
 	echo " Targets have to be built using ./scripts/Build-Target before you can create"
 	echo " ISO images from them."
 	echo
-	echo "	-size  <MB>	limit the size of images to <MB> MB; default is 680"
+	echo "	-size  <MB>	limit the size of images to <MB> MB; default is 4700"
 	echo "	-source		include package sources from download/mirror on the images"
 	echo "	-nodist		also include download/nodist sources (Check licenses!)"
 	echo "	-mkdebug	create a small debug script for every image"
@@ -45,8 +45,8 @@ if [ $# -eq 0 ] ; then
 	exit 1
 fi
 
-# default disk-size is 680 MB
-dsize=$(( 680 * 1024 ))
+# default disk-size is 4700 MB
+dsize=$(( 4700 * 1024 ))
 src=0; mkdebug=0; implantisomd5=1; nodist=0
 
 while true ; do

target/crystal/build.sh

@@ -13,8 +13,13 @@ mkdir -p build/${ROCKCFG_ID}/ROCK/pkgs_sel
 (cd build/${ROCKCFG_ID}/ROCK/pkgs/;
 	ls | xargs ln --target-directory="../pkgs_sel";)
 
-# :doc packages are nice but in most cases never used
-(cd build/${ROCKCFG_ID}/ROCK/pkgs_sel/; rm -f *:doc{-*,}.gem;)
+if [ "$ROCKCFG_TARGET_CRYSTAL_REMOVEDOCS" = 1 ]; then
+	# :doc packages are nice but in most cases never used
+	(
+		cd build/${ROCKCFG_ID}/ROCK/pkgs_sel/
+		rm -f *:doc{-*,}.gem
+	)
+fi
 
 # remove packages which haven't been built in stages 0-8
 if [ "$ROCKCFG_TARGET_CRYSTAL_BUILDADDONS" = 1 ]; then

target/crystal/config.in

@@ -23,6 +23,9 @@
 bool 'Also build add-on (non-CORE) packages' \
 				ROCKCFG_TARGET_CRYSTAL_BUILDADDONS 0
 
+bool 'Do NOT include documentation on ISO' \
+				ROCKCFG_TARGET_CRYSTAL_REMOVEDOCS 0
+
 if [ $ROCKCFG_TARGET_CRYSTAL_BUILDADDONS = 1 ]
 then
 	pkgfilter sed \