/usr/bin/update-monodoc is in monodoc-browser 2.11+git20131009.5b1ef35-1build1.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 | #!/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
|