Sophie

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

distrib > Fedora > 13 > x86_64 > media > updates > by-pkgid > 24f24987c076e724138555901c6008f7 > scriptlet

ghc-failure-doc-0.1.0.1-1.fc13.x86_64.rpm

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

/bin/sh

( cd /usr/share/doc/ghc/html/libraries && [ -x "./gen_contents_index" ] && ./gen_contents_index ) || :

/bin/sh

if [ "$1" -eq 0 ] ; then
  ( cd /usr/share/doc/ghc/html/libraries && [ -x "./gen_contents_index" ] && ./gen_contents_index ) || :
fi