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