diff options
author | joey <joey> | 1999-08-17 04:34:25 +0000 |
---|---|---|
committer | joey <joey> | 1999-08-17 04:34:25 +0000 |
commit | d079e6683cfcbef6a979eb7a02780eebdf480a74 (patch) | |
tree | 7cd6ba28701185b0facf84b98b9f4f92f56a8c3a /dh_undocumented | |
parent | dd838eee7e75da018b2722f0ce4dbccd9f6d1a5d (diff) | |
download | debhelper-d079e6683cfcbef6a979eb7a02780eebdf480a74.tar.gz |
r12: Initial Import
Diffstat (limited to 'dh_undocumented')
-rwxr-xr-x | dh_undocumented | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/dh_undocumented b/dh_undocumented new file mode 100755 index 00000000..ebde8904 --- /dev/null +++ b/dh_undocumented @@ -0,0 +1,51 @@ +#!/bin/sh -e +# +# Passed a list of undocumented man pages, generates symlinks to +# undocumented.7 for those man pages. +# +# Also, it looks for debian/undocumented files for more lists of +# undocumented man pages. + +PATH=debian:$PATH:/usr/lib/debhelper +. dh_lib + +for PACKAGE in $DH_DOPACKAGES; do + TMP=`tmpdir $PACKAGE` + EXT=`pkgext $PACKAGE` + + undoc="" + + if [ -e debian/${EXT}undocumented ]; then + undoc=`tr "\n" " " < debian/${EXT}undocumented` + fi + + if [ "$PACKAGE" = "$MAINPACKAGE" -a "$*" ]; then + undoc="$* $undoc" + fi + + if [ "$undoc" ]; then + for file in $undoc; do + # Remove .gz extention from the filename, if present. + if [ `expr "$file" : '\(.*\).gz'` ]; then + file=`expr "$file" : '\(.*\).gz'` + fi + + # Determine what directory the file belongs in, + # /usr/man, or /usr/X11R6/man. + section=`expr "$file" : '.*\.\([123456789]\)'` + if [ `expr "$file" : '.*\.[123456789]\(x\)'` ] ; then + dir=usr/X11R6/man/man$section + reldir=../../../man + else + dir=usr/man/man$section + reldir=.. + fi + + if [ ! -d debian/$TMP/$dir ]; then + doit "install -d debian/$TMP/$dir" + fi + + doit ln -s $reldir/man7/undocumented.7.gz debian/$TMP/$dir/$file.gz + done + fi +done |