# HG changeset patch # User David Barts # Date 1588642654 25200 # Node ID 1aea8079484bd20d592f1dc49756603fb8f3176a # Parent 35fb8de77c7ddad93a4e315990038a7b1557d6e9 Merged changes. diff -r 35fb8de77c7d -r 1aea8079484b make-debian-package --- a/make-debian-package Mon May 04 18:12:59 2020 -0700 +++ b/make-debian-package Mon May 04 18:37:34 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"