diff --git a/doc/docbook.sh b/doc/docbook.sh index a9d498c..8772306 100755 --- a/doc/docbook.sh +++ b/doc/docbook.sh @@ -1,6 +1,6 @@ #!/bin/sh #$Id$ -#Copyright (c) 2012-2013 Pierre Pronchery +#Copyright (c) 2012-2014 Pierre Pronchery # #Redistribution and use in source and binary forms, with or without #modification, are permitted provided that the following conditions are met: @@ -26,7 +26,7 @@ #variables PREFIX="/usr/local" -. "../config.sh" +[ -f "../config.sh" ] && . "../config.sh" #executables DEBUG="_debug" INSTALL="install -m 0644" @@ -44,6 +44,14 @@ _debug() } +#error +_error() +{ + echo "docbook.sh: $@" 1>&2 + return 2 +} + + #usage _usage() { @@ -84,6 +92,12 @@ if [ $# -eq 0 ]; then exit $? fi +#check the variables +if [ -z "$PACKAGE" ]; then + _error "The PACKAGE variable needs to be set" + exit $? +fi + [ -z "$DATADIR" ] && DATADIR="$PREFIX/share" [ -z "$MANDIR" ] && MANDIR="$DATADIR/man" @@ -123,7 +137,7 @@ while [ $# -gt 0 ]; do #install if [ "$install" -eq 1 ]; then $DEBUG $MKDIR -- "$instdir" || exit 2 - $DEBUG $INSTALL -- "$target" "$instdir/$target" || exit 2 + $DEBUG $INSTALL "$target" "$instdir/$target" || exit 2 continue fi