From 62a7e102293b14b388c9ef204aef13d5f262f0f3 Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Thu, 23 Jan 2014 12:51:33 -0600 Subject: [PATCH] Newer versions of the helper scripts --- doc/docbook.sh | 20 +++++++++++++++++--- 1 file changed, 17 insertions(+), 3 deletions(-) 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