/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
|