/usr/bin/update-monodoc is in monodoc-base 2.10.8.1-1ubuntu2.
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 9 10 11 12 | #!/bin/sh
set -e
if [ ! -x /usr/lib/monodoc/browser.exe -o -z "$(dpkg-query -W -f='${Status}' monodoc-browser 2>/dev/null | grep "ok installed")" ]; then
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
|