--- plug-ins/Makefile.in.orig	Fri Jul 27 21:36:22 2001
+++ plug-ins/Makefile.in	Wed Aug 15 22:02:54 2001
@@ -113,7 +113,7 @@
 HAVE_FINITE = @HAVE_FINITE@
 HAVE_GTK_DOC = @HAVE_GTK_DOC@
 HAVE_ISFINITE = @HAVE_ISFINITE@
-HELPBROWSER = @HELPBROWSER@
+#HELPBROWSER = @HELPBROWSER@
 HTML_DIR = @HTML_DIR@
 INSTOBJEXT = @INSTOBJEXT@
 INTLBISON = @INTLBISON@