#!/bin/sh
set -e
if [ ! -x /usr/lib/monodoc/browser.exe -o ! $(dpkg-query -W -f=\'${Status}\' monodoc-browser 2>/dev/null | grep "ok installed") ]; then
	# nothing to do
	exit 0
fi

echo "generating monodoc search index..."
monodoc --make-index > /dev/null

echo "generating monodoc search index... (this can take a while)"
monodoc --make-search-index > /dev/null
