Sophie

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

distrib > Mandriva > 2007.0 > i586 > media > contrib-release > by-pkgid > 69063fb30bd5dc41042bd8dfac46db2d > scriptlet

jakarta-commons-digester-javadoc-1.7-4.1mdv2007.0.i586.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.7 /usr/share/javadoc/jakarta-commons-digester

/bin/sh

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