1 2 3 4 5 6 7 8 9 10
#! /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