diff options
| -rw-r--r-- | devel/monodoc/files/patch-monodoc.in | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/monodoc/files/patch-monodoc.in b/devel/monodoc/files/patch-monodoc.in new file mode 100644 index 000000000000..487a20290697 --- /dev/null +++ b/devel/monodoc/files/patch-monodoc.in @@ -0,0 +1,11 @@ +--- monodoc.in.orig Sun May 1 13:48:01 2005 ++++ monodoc.in Mon Dec 5 21:50:59 2005 +@@ -82,7 +82,7 @@ + fi + + if test -e $monodocdir/browser.exe; then +- exec mono --debug $monodocdir/browser.exe $OPTIONS "$@" $REST ++ exec mono --debug $monodocdir/browser.exe --no-gecko $OPTIONS "$@" $REST + else + echo "The monodoc GUI component is not installed. Install it from the mono-tools package." + fi |