Sophie

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

distrib > * > cooker > x86_64 > by-pkgid > 8172a783a65357eb577b5e55def554ca > scriptlet

jdom-javadoc-1.1.1-7.noarch.rpm

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

/bin/sh

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