blob: ebde890499f98455cb835893e8fa921c97a92478 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
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
|
