Skip to content
Snippets Groups Projects
Commit 81a0cb0d authored by christian's avatar christian Committed by osak buildhauer user
Browse files

added footer to makeDoku packages

parent 42636031
No related branches found
No related tags found
1 merge request!3WIP: Ws16
...@@ -11,19 +11,20 @@ else ...@@ -11,19 +11,20 @@ else
shift shift
fi 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 ] if [ $# -eq 0 ]
then then
echo "No packages supplied" echo "No packages supplied"
exit 1 exit 1
else else
PACKAGELIST=$@ PACKAGELIST="$@ FOOTER"
echo $PACKAGELIST echo $PACKAGELIST
fi 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) WORKING_DIR=$(mktemp -d)
cp -a "$DOCUDIR/." "$WORKING_DIR" cp -a "$DOCUDIR/." "$WORKING_DIR"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment