From bccfab6bd6328b0ee1a17fa2a623ce0a6ee00cb4 Mon Sep 17 00:00:00 2001
From: christian <christian.steinhaus@rwth-aachen.de>
Date: Fri, 16 Oct 2015 21:13:14 +0200
Subject: [PATCH] added footer to makeDoku packages
---
scripts/makeDoku.sh | 11 ++++++-----
1 file changed, 6 insertions(+), 5 deletions(-)
diff --git a/scripts/makeDoku.sh b/scripts/makeDoku.sh
index cf54abe..49355b6 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"
--
GitLab