diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:22:56 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:22:56 +0000 |
| commit | 3f472a4e5ca21e3ddb13737473e636b2b11a408a (patch) | |
| tree | 7db1ab317884b9f6e04b6e13737c1679879cb97a /debian/dh_doclink | |
| parent | Adding upstream version 13.2.0. (diff) | |
| download | gcc-13-debian.tar.xz gcc-13-debian.zip | |
Adding debian version 13.2.0-10.debian/13.2.0-10debian
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
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 |