Sophie

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

distrib > Fedora > 13 > i386 > media > updates > by-pkgid > 38b71240f9c32f98c1535b26e6e8c67f > scriptlet

ghc-dlist-doc-0.5-3.fc13.i686.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