mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-15 07:56:36 +00:00
9ff6940c8e
Done by : vanilla Fix vinum for several days before bad scsi cable got fixed (Arrrgh !), and finally lost all his /home and ssh key : vanilla
12 lines
352 B
Plaintext
12 lines
352 B
Plaintext
--- 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@
|