diff options
author | Daniel Friesel <derf@derf.homelinux.org> | 2009-08-22 19:10:53 +0200 |
---|---|---|
committer | Daniel Friesel <derf@derf.homelinux.org> | 2009-08-22 19:10:53 +0200 |
commit | afddd3504453272034c1702333bf88706c2e4b73 (patch) | |
tree | d6f7e433ed4e42e894f6ca4856eecf7e7f58b49c | |
parent | 3cf2fe257be20ed897d050e98644cc765264a189 (diff) |
ct: Improved populate_collected messages a little bit
-rwxr-xr-x | bin/ct | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -578,7 +578,10 @@ function populate_collected { typeset man section manpage file wrap_info $1 - info "Enabling documentation\n" + if [[ ! -d bin && ! -d man ]] { + return + } + info "Processing documentation\n" for man in man/*/*(N); { section=${man:h:t} manpage=${man:t} |