diff --git a/doc/scripts/gtkdoc.sh b/doc/scripts/gtkdoc.sh index 34ecae5..b9400fc 100755 --- a/doc/scripts/gtkdoc.sh +++ b/doc/scripts/gtkdoc.sh @@ -26,7 +26,7 @@ #variables PREFIX="/usr/local" -[ -f "../config.sh" ] && . "../config.sh" +PROGNAME="gtkdoc.sh" #executables DEBUG="_debug" GTKDOC_FIXXREF="gtkdoc-fixxref" @@ -39,6 +39,8 @@ MKDIR="mkdir -m 0755 -p" RM="rm -f" TOUCH="touch" +[ -f "../config.sh" ] && . "../config.sh" + #functions #debug @@ -52,7 +54,7 @@ _debug() #error _error() { - echo "gtkdoc.sh: $@" 1>&2 + echo "$PROGNAME: $@" 1>&2 return 2 } @@ -60,7 +62,7 @@ _error() #usage _usage() { - echo "Usage: gtkdoc.sh [-c|-i|-u][-P prefix] target..." 1>&2 + echo "Usage: $PROGNAME [-c|-i|-u][-P prefix] target..." 1>&2 return 1 }