diff options
Diffstat (limited to 'functions/man.sh')
-rwxr-xr-x | functions/man.sh | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/functions/man.sh b/functions/man.sh deleted file mode 100755 index 06b51a7d4..000000000 --- a/functions/man.sh +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/sh - -## live-build(7) - System Build Scripts -## Copyright (C) 2016-2020 The Debian Live team -## Copyright (C) 2006-2015 Daniel Baumann <mail@daniel-baumann.ch> -## -## This program 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 [ $(which man) ] - then - man ${PROGRAM} $(basename ${0}) - exit 0 - fi -} |