Sophie

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

distrib > Mandriva > 2006.0 > x86_64 > media > contrib > by-pkgid > da277e932de9025275248d416a481953 > scriptlet

jakarta-commons-digester-javadoc-1.6-2.1mdk.noarch.rpm

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

/bin/sh

rm -f /usr/share/javadoc/jakarta-commons-digester
ln -s jakarta-commons-digester-1.6 /usr/share/javadoc/jakarta-commons-digester

/bin/sh

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