+function create_build {
+ pushd $BUILD_DIR >/dev/null
+ if [ "$compile_type" == "PDF" ]
+ then
+ echo "make $compile_target" > debian/$paket.build
+ chmod 755 debian/$paket.build
+ else
+ echo "build for compile_type not implemented."
+ exit 10
+ fi
+ popd >/dev/null
+}