e3d7b54ca3
Former-commit-id: bb0edac46772972b4c99a84b8e1791f43b9195f5
13 lines
349 B
Bash
Executable File
13 lines
349 B
Bash
Executable File
#!/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
|