Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Mageia > 3 > i586 > by-pkgid > 5703bc6e95fb5924428a43a7a60dd038 > scriptlet

jflex-javadoc-1.4.3-5.mga3.noarch.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

/bin/sh

# workaround for rpm bug, can be removed in F-21
[ $1 -gt 1 ] && [ -L /usr/share/javadoc/jflex ] && \
rm -rf $(readlink -f /usr/share/javadoc/jflex) /usr/share/javadoc/jflex || :