diff options
| author | Igor Pashev <pashev.igor@gmail.com> | 2019-11-25 14:19:31 +0300 |
|---|---|---|
| committer | Igor Pashev <pashev.igor@gmail.com> | 2019-11-25 14:19:31 +0300 |
| commit | e06370f27bc2868df91c3a5f29dc7f95e3f9350a (patch) | |
| tree | 2a62c7a345744ea034b5b889a1c3d4dfe6055301 /debian/gcc.preinst | |
| parent | 781434cd4f3b1be60b117ae61babaf60f4a9e563 (diff) | |
| download | gcc-defaults-debian.tar.gz | |
Imported gcc-defaults-1.185.1debian/1.185.1debian
Diffstat (limited to 'debian/gcc.preinst')
| -rw-r--r-- | debian/gcc.preinst | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/debian/gcc.preinst b/debian/gcc.preinst deleted file mode 100644 index af198fb..0000000 --- a/debian/gcc.preinst +++ /dev/null @@ -1,10 +0,0 @@ -#! /bin/sh -e - -if [ -d /usr/share/doc/gcc ]; then - echo "Removing old gcc doc directory." - rm -rf /usr/share/doc/gcc -fi - -#DEBHELPER# - -exit 0 |