# HG changeset patch # User David Barts # Date 1588865456 25200 # Node ID d4ccc5ccdc6de1b70b24cf778b46f71c797fa2d3 # Parent fb407182ba769b1634cd5313cb58bf716ebd4f0b# Parent 1aea8079484bd20d592f1dc49756603fb8f3176a Merge commit. diff -r fb407182ba76 -r d4ccc5ccdc6d make-debian-package --- a/make-debian-package Thu May 07 08:29:58 2020 -0700 +++ b/make-debian-package Thu May 07 08:30:56 2020 -0700 @@ -12,7 +12,7 @@ # Name executed as myname="${0##*/}" -# We must specify a single directory name, nothing else. +# We must specify single directory name and an output file. if [ $# -ne 2 ] then 1>&2 echo "$myname: expecting directory and output file"