Author: jfs
Date: Sun May 25 13:21:34 2014
New Revision: 10415
URL: http://svn.debian.org/wsvn/?sc=1&rev=10415
Log:
If no distribution is defined used sid
Modified:
man-cgi/extractor/list-manpages-dist.sh
Modified: man-cgi/extractor/list-manpages-dist.sh
URL:
http://svn.debian.org/wsvn/man-cgi/extractor/list-manpages-dist.sh?rev=10415&op=diff
==============================================================================
--- man-cgi/extractor/list-manpages-dist.sh (original)
+++ man-cgi/extractor/list-manpages-dist.sh Sun May 25 13:21:34 2014
@@ -33,9 +33,8 @@
dist=$1
if [ -z "$dist" ] ; then
- echo "ERROR: Distribution is not defined" >&2
- usage
- exit 1
+ echo "WARN: Distribution is not defined, default to 'sid'" >&2
+ dist=sid
fi
[ -n "$2" ] && ARCH=$2
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: https://lists.debian.org/[email protected]
