blob: 901f9b46f331d8fce82a32e5810888a541a21c5e (
plain) (
blame)
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
52
53
54
55
56
57
58
|
#!/bin/sh
#
# In order to not ship broken symlinks, every manpage needs
# to be checked for a link. If there is a link, ensure
# that the destination file exists in the Debian
# package. See bug #876047 for an example.
# Ensure that the given file is alread handled.
# After the necessery Breaks/Replaces are added
# to debian/control, the file needs to be added
# manually to the list of known files.
check_breaks_replaces () {
known_files="man4/console_ioctl.4 man4/tty_ioctl.4"
file_is_known="no"
for file in $known_files; do
if [ "x$1" = "x$file" ]; then
file_is_known="yes"
fi
done
if [ $file_is_known = "no" ]; then
echo
echo "Error: The file $1 is not in the list of known files."
echo "Probably you need to add Breaks/Replaces for the packages."
echo "Afterwards, please add the file to the list of known files."
echo
exit 1
fi
}
for src_section in man?; do
for file in $src_section/*; do
destination=`grep "^\.so " $file`
if [ -n "$destination" ]; then
dest_section=`echo "$destination" | sed -e "s/.*\(man.\).*/\1/"`
if [ "$dest_section" != "$src_section" ]; then
# The destination is in the package manpages
if [ "$dest_section" != "man2" -a "$dest_section" != "man3" ]; then
# Ensure the source link is not in package manpages-dev
if [ "$src_section" = "man2" -o "$src_section" = "man3" ]; then
echo "Moving $file to package manpages."
mkdir -p "debian/manpages/usr/share/man/$src_section"
mv "debian/manpages-dev/usr/share/man/$file" "debian/manpages/usr/share/man/$file"
check_breaks_replaces "$file"
fi
else
# The destination is in the package manpages-dev
# Ensure the source link is not in package manpages
if [ "$src_section" != "man2" -a "$src_section" != "man3" ]; then
echo "Moving $file to package manpages-dev."
mkdir -p "debian/manpages-dev/usr/share/man/$src_section"
mv "debian/manpages/usr/share/man/$file" "debian/manpages-dev/usr/share/man/$file"
check_breaks_replaces "$file"
fi
fi
fi
fi
done
done
|