Sophie

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

distrib > Fedora > 17 > i386 > by-pkgid > f4807f4582f523c0c8c91319470beaf9 > scriptlet

gnu-getopt-javadoc-1.0.13-7.fc17.noarch.rpm

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

/bin/sh

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