POSTIN
/bin/sh
/bin/rm -f /usr/share/javadoc/gnu.getopt ln -s gnu.getopt-1.0.13 /usr/share/javadoc/gnu.getopt
POSTUN
/bin/sh
if [ "$1" = "0" ]; then /bin/rm -f /usr/share/javadoc/gnu.getopt fi
/bin/sh
/bin/rm -f /usr/share/javadoc/gnu.getopt ln -s gnu.getopt-1.0.13 /usr/share/javadoc/gnu.getopt
/bin/sh
if [ "$1" = "0" ]; then /bin/rm -f /usr/share/javadoc/gnu.getopt fi