( 
if module_installed scrollkeeper; then
   message "Rebuilding docbook catalogs" &&
   $SCRIPT_DIRECTORY/rebuild-docbook-catalog
fi
)
                                                                                

