#!/bin/sh
set -e

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
