#! /bin/sh -e

if [ -d /usr/share/doc/gcc ]; then
    echo "Removing old gcc doc directory."
    rm -rf /usr/share/doc/gcc
fi



exit 0