last=true packages="doc.tgz" pkginfo() { series=$1 ; package=$2 ; space=$3 ; status=$4; version=$5 echo "Series: $series" echo "Package: $package" if [ ! -z "$version" ] ; then echo "Version: $version" fi echo "Status: $status" echo "Disk-Space: $space" echo } doc.tgz-help() { pkginfo GOODIES "teTeX documentation" 4020k RECOMMENDED cat << eof This package contains a lot (!) of documentation for teTeX. I recommend to install it even if you are short of disk space. The 67 dvi-files + TeX-FAQ are really worth it! You still can decide later to remove (or gzip)some of those files from your disk (eventually after reading/printing) to save some space. eof }