Sophie

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

distrib > Mandriva > 2007.0 > i586 > media > contrib-release > by-pkgid > 2aae2aed9154531894c74d2d6610e573 > scriptlet

jakarta-commons-pool-javadoc-1.3-2.1mdv2007.0.i586.rpm

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

/bin/sh

rm -f /usr/share/javadoc/jakarta-commons-pool
ln -s jakarta-commons-pool-1.3 /usr/share/javadoc/jakarta-commons-pool

/bin/sh

if [ "$1" = "0" ]; then
    rm -f /usr/share/javadoc/jakarta-commons-pool
fi