diff options
| -rwxr-xr-x | bin/prepallman | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/prepallman b/bin/prepallman index b523ef703..e02b5ba3d 100755 --- a/bin/prepallman +++ b/bin/prepallman @@ -8,7 +8,9 @@ ret=0 echo "man:" for x in "${D}"opt/*/man "${D}"usr/share/man "${D}"usr/local/man "${D}"usr/X11R6/man ; do if [[ -d ${x} ]] ; then - prepman "`echo "${x}" | sed -e "s:${D}::" -e "s:/man[/]*$::"`" + x=${x#${D}} + x=${x%/man} + prepman "${x}" ((ret+=$?)) fi done |