Sophie

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

distrib > CentOS > 5 > x86_64 > media > updates > by-pkgid > 2edb31beb8bdbe453c00c7e7a3ee748d > scriptlet

java-1.7.0-openjdk-javadoc-1.7.0.71-2.5.3.1.el5_11.x86_64.rpm

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

/bin/sh

alternatives \
  --install /usr/share/javadoc/java javadocdir /usr/share/javadoc/java-1.7.0-openjdk/api \
  170071

exit 0

/bin/sh

if [ $1 -eq 0 ]
then
  alternatives --remove javadocdir /usr/share/javadoc/java-1.7.0-openjdk/api
fi

exit 0