File: update-monodoc

package info (click to toggle)
mono 4.6.2.7%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 778,148 kB
  • ctags: 914,052
  • sloc: cs: 5,779,509; xml: 2,773,713; ansic: 432,645; sh: 14,749; makefile: 12,361; perl: 2,488; python: 1,434; cpp: 849; asm: 531; sql: 95; sed: 16; php: 1
file content (12 lines) | stat: -rwxr-xr-x 349 bytes parent folder | download | duplicates (10) 
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