diff options
Diffstat (limited to 'debian/dh_doclink')
| -rwxr-xr-x | debian/dh_doclink | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/debian/dh_doclink b/debian/dh_doclink new file mode 100755 index 0000000..8372658 --- /dev/null +++ b/debian/dh_doclink @@ -0,0 +1,12 @@ +#! /bin/sh + +pkg=`echo $1 | sed 's/^-p//'` +target=$2 + +[ -d debian/$pkg/usr/share/doc ] || mkdir -p debian/$pkg/usr/share/doc +if [ -d debian/$pkg/usr/share/doc/$p -a ! -h debian/$pkg/usr/share/doc/$p ] +then + echo "WARNING: removing doc directory $pkg" + rm -rf debian/$pkg/usr/share/doc/$pkg +fi +ln -sf $target debian/$pkg/usr/share/doc/$pkg |