#!/bin/sh -e # # Passed a list of undocumented man pages, generates symlinks to # undocumented.7.gz 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` undocumented=`pkgfile $PACKAGE undocumented` undoc="" if [ "$undocumented" ]; then undoc=`tr "\n" " " < $undocumented` fi if [ \( "$PACKAGE" = "$DH_FIRSTPACKAGE" -o "$DH_PARAMS_ALL" \) \ -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]\)'` \ || error "\"$file\" does not have an extention." if [ `expr "$file" : '.*\.[123456789]\(x\)'` ] ; then dir=usr/X11R6/man/man$section reldir=../../../man else dir=usr/man/man$section reldir=.. fi if [ ! -d $TMP/$dir ]; then doit "install -d $TMP/$dir" fi doit "ln -s $reldir/man7/undocumented.7.gz $TMP/$dir/$file.gz" done fi done