diff options
| author | Igor Pashev <pashev.igor@gmail.com> | 2019-12-09 11:34:23 +0300 |
|---|---|---|
| committer | Igor Pashev <pashev.igor@gmail.com> | 2019-12-09 11:34:23 +0300 |
| commit | ee8536fb62c8a81ea727b475a6793417d00b40b0 (patch) | |
| tree | ad9cdd7d46c7f4c47202ea7fcb463257e4228728 /debian/gdb-source.postinst | |
| download | gdb-ee8536fb62c8a81ea727b475a6793417d00b40b0.tar.gz | |
Import gdb 8.3.1-1debian/8.3.1-1debian
Diffstat (limited to 'debian/gdb-source.postinst')
| -rwxr-xr-x | debian/gdb-source.postinst | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/debian/gdb-source.postinst b/debian/gdb-source.postinst new file mode 100755 index 0000000..866ae56 --- /dev/null +++ b/debian/gdb-source.postinst @@ -0,0 +1,13 @@ +#!/bin/sh +set -e + +# Replace documentation directory with symlink +if [ -d /usr/share/doc/gdb-source ] && [ ! -L /usr/share/doc/gdb-source ]; then + if rmdir /usr/share/doc/gdb-source 2>/dev/null; then + ln -sf gdb /usr/share/doc/gdb-source + fi +fi + +#DEBHELPER# + +exit 0 |