diff options
Diffstat (limited to 'functions/man.sh')
-rwxr-xr-x | functions/man.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/functions/man.sh b/functions/man.sh new file mode 100755 index 000000000..72213e2f8 --- /dev/null +++ b/functions/man.sh @@ -0,0 +1,17 @@ +#!/bin/sh + +# man.sh - print man information +# Copyright (C) 2006-2009 Daniel Baumann <daniel@debian.org> +# +# live-helper comes with ABSOLUTELY NO WARRANTY; for details see COPYING. +# This is free software, and you are welcome to redistribute it +# under certain conditions; see COPYING for details. + +Man () +{ + if [ -x "$(which man 2>/dev/null)" ] + then + man $(basename ${0}) + exit 0 + fi +} |