From c96f09e30335c8914e219ab0f1d827897af06971 Mon Sep 17 00:00:00 2001 From: Tom McLaughlin Date: Tue, 17 Jan 2006 08:40:39 +0000 Subject: Remove spurious patch file. This monodoc startup script is not the one that is installed. --- devel/monodoc/files/patch-monodoc.in | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 devel/monodoc/files/patch-monodoc.in (limited to 'devel/monodoc/files/patch-monodoc.in') diff --git a/devel/monodoc/files/patch-monodoc.in b/devel/monodoc/files/patch-monodoc.in deleted file mode 100644 index 487a20290697..000000000000 --- a/devel/monodoc/files/patch-monodoc.in +++ /dev/null @@ -1,11 +0,0 @@ ---- 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 -- cgit v1.2.3