diff options
author | joey <joey> | 1999-08-17 04:45:57 +0000 |
---|---|---|
committer | joey <joey> | 1999-08-17 04:45:57 +0000 |
commit | 220da53f5dda9555b3c1ab4cf494ec539d458a9f (patch) | |
tree | 0122fd80ec9d1f56077e8eac647181f18e18a9de /dh_installmanpages | |
parent | fbfd7d1a61ebb896864d9dcd6e6c06df192a3971 (diff) | |
download | debhelper-220da53f5dda9555b3c1ab4cf494ec539d458a9f.tar.gz |
r59: Initial Import
Diffstat (limited to 'dh_installmanpages')
-rwxr-xr-x | dh_installmanpages | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dh_installmanpages b/dh_installmanpages index 0c968a3f..fe611389 100755 --- a/dh_installmanpages +++ b/dh_installmanpages @@ -39,7 +39,6 @@ for PACKAGE in $DH_DOPACKAGES; do SECTION=man`expr $NAME : '.*\.\([123456789]\)'` # Test to see if the filename ends with 'x', # if so, this is an X man page. - echo $NAME if expr $NAME : '.*\.[123456789]x' >/dev/null; then EXTDIR="X11R6" else |