diff --git a/scripts/makeDoku.sh b/scripts/makeDoku.sh index cf54abed6e6e23572b385bb68c109e96c77010c3..49355b6697ce2a622a3486cd3f74b109e968cd6d 100755 --- a/scripts/makeDoku.sh +++ b/scripts/makeDoku.sh @@ -11,19 +11,20 @@ else shift fi +if [ ! -f "$DOCUDIR/HEADER.tex" ]; then #HEADER muss ex. sonst kommt auf keinen Fall was sinnvolles bei rum + echo "Leider ist keine Dokumentation auf dem LIP-Stick vorhanden..." + exit 0 #linuxparty.sh soll auch ohne Doku Verzeichnis laufen +fi + if [ $# -eq 0 ] then echo "No packages supplied" exit 1 else - PACKAGELIST=$@ + PACKAGELIST="$@ FOOTER" echo $PACKAGELIST fi -if [ ! -f "$DOCUDIR/HEADER.tex" ]; then #HEADER muss ex. sonst kommt auf keinen Fall was sinnvolles bei rum - echo "Leider ist keine Dokumentation auf dem LIP-Stick vorhanden..." - exit 0 #linuxparty.sh soll auch ohne Doku Verzeichnis laufen -fi WORKING_DIR=$(mktemp -d) cp -a "$DOCUDIR/." "$WORKING_DIR"