This file is indexed.

/usr/bin/monodocs2html is in monodoc-base 4.2.1.102+dfsg2-7ubuntu4.

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
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
#!/bin/sh
cmd_line=

for option do
	case "$option" in
		-dest:*)
			dir=`echo "$option" | sed 's/^-dest://'`
			cmd_line="$cmd_line -o \"$dir\""
			;;
		-dumptemplate)
			cmd_line="$cmd_line --default-template"
			;;
		-ext:*)
			ext=`echo "$option" | sed 's/^-ext://'`
			cmd_line="$cmd_line --ext=$ext"
			;;
		-onlytype*)
			# compat; ignore
			;;
		-source:*)
			s=`echo "$option" | sed 's/^-source://'`
			cmd_line="$cmd_line $s"
			;;
		-template:*)
			template=`echo "$option" | sed 's/^-template://'`
			cmd_line="$cmd_line --template=$template"
			;;
		-V | -version)
			# compat; ignore
			;;
		*)
			cmd_line="$cmd_line $option"
			;;
	esac
done

exec mdoc export-html $cmd_line