Sophie

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

distrib > Fedora > 13 > i386 > media > updates > by-pkgid > 79d799d0bc2a26c863b370dc9bb25d55 > scriptlet

ghc-X11-xft-doc-0.3-8.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