diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/shman.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/tools/shman.sh b/tools/shman.sh index fe7c280..ea4ff7f 100644 --- a/tools/shman.sh +++ b/tools/shman.sh @@ -157,10 +157,6 @@ parse_docs() while IFS='' read -r line; do case "${line}" in '##'*) - ## Strip "##" and leading and trailing whitespace - #read -r line <<-EOF - # ${line#'##'} - # EOF doc="${doc}${line#'##'}${LF}" got_doc=true continue |