Sophie

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

distrib > Fedora > 17 > i386 > media > updates > by-pkgid > 7e3158eb0988e3824bc213d9d12f39a3 > scriptlet

java-1.7.0-openjdk-javadoc-1.7.0.25-2.3.12.1.fc17.noarch.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 \
  170025

exit 0

/bin/sh

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

exit 0