Sophie

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

distrib > Mandriva > 2006.0 > x86_64 > media > main > by-pkgid > b869cb36e2aefdbcbb65454c39b46f97 > scriptlet

man-pages-id-0.1-9mdk.noarch.rpm

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

/bin/sh

# 0 means deleting the package
if [ "$1" = "0" ]; then
   ## Force removing of /var/catman/id, if there isn't any man page
   ## directory //usr/share/man/id
   if [ ! -d /usr/share/man/id ] ; then
       rm -rf /var/catman/id
   fi
fi