chiark / gitweb /
grep-my-excuses: monitor grub
[bin.git] / debman
diff --git a/debman b/debman
index 04fe31ac61463d2ba5c937bc1e6bb8ffdd838d46..5217f3a31f5eac5b57be22386c9ae0bdf03ff8c3 100755 (executable)
--- a/debman
+++ b/debman
@@ -1,4 +1,4 @@
-#! /bin/sh -e
+#! /bin/bash -e
 
 # debman - read a man page from an uninstalled Debian package file (.deb)
 
@@ -26,7 +26,7 @@ usage () {
         FD=1
     fi
     cat >&$FD <<EOF
-Usage: debman [options] [-- man options] <man page name> ...
+Usage: debman [options] [-- man(1) options] <man page name> ...
 
 Options should be exactly one of:
         -f package.deb          read pages from package.deb archive