#!/bin/bash set -e if [ -d GF ] then pushd GF >/dev/null svn up popd >/dev/null else svn co https://wagnertech.de/svn/verwaltung/GF fi if [ "$1" == "TOP" ]; then base=.. else svn co -r $1 https://wagnertech.de/svn/mlohn/doc base=src fi pushd .. 2>/dev/null ln -sf $base/doc/Steckbrief.tex . ln -sf $base/doc/img . ln -sf src/GF/wagner_tech_briefbogen_blau_fs1.pdf . ln -sf projects/tools/tex/* . echo "COMPILE_TARGET = Steckbrief.pdf" >make.pre echo >> make.pre popd >/dev/null