mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-14 23:46:10 +00:00
53 lines
2.2 KiB
Plaintext
53 lines
2.2 KiB
Plaintext
--- help-browser/gnome-info2html/utils.c.orig Fri Jul 24 03:13:02 1998
|
|
+++ help-browser/gnome-info2html/utils.c Sat Sep 26 23:42:30 1998
|
|
@@ -2,7 +2,7 @@
|
|
|
|
#include <stdio.h>
|
|
#include <string.h>
|
|
-#include <regex.h>
|
|
+#include <gnuregex.h>
|
|
|
|
#include <glib.h>
|
|
|
|
--- help-browser/gnome-help-browser.c.orig Fri Jul 24 03:13:01 1998
|
|
+++ help-browser/gnome-help-browser.c Sat Sep 26 23:42:30 1998
|
|
@@ -65,13 +65,10 @@
|
|
static int configCancel(GtkWidget *w, GtkWidget *window);
|
|
|
|
/* MANPATH should probably come from somewhere */
|
|
-#define DEFAULT_MANPATH "/usr/man:/usr/local/man:/usr/X11R6/man"
|
|
-#define DEFAULT_INFOPATH "/usr/info:/usr/local/info"
|
|
+#define DEFAULT_MANPATH "/usr/share/man:/usr/local/man:/usr/X11R6/man"
|
|
+#define DEFAULT_INFOPATH "/usr/share/info:/usr/local/info:/usr/X11R6/info"
|
|
/* GHELPPATH probably needs some automatic additions inside toc */
|
|
-#define DEFAULT_GHELPPATH GNOMEHELPPATH ":/opt/gnome/share/gnome/help:" \
|
|
- "/usr/local/share/gnome/help:" \
|
|
- "/usr/local/gnome/share/gnome/help:" \
|
|
- "/usr/share/gnome/help:"
|
|
+#define DEFAULT_GHELPPATH GNOMEHELPPATH
|
|
#define DEFAULT_MEMCACHESIZE "1000000"
|
|
#define DEFAULT_HISTORYLENGTH "1000"
|
|
#define HELP_BROWSER_RC_DIR ".gnome-help-browser"
|
|
--- help-browser/toc.c.orig Mon Aug 31 19:31:33 1998
|
|
+++ help-browser/toc.c Sat Sep 26 23:42:30 1998
|
|
@@ -19,14 +19,13 @@
|
|
static int hideTocInt(GtkWidget *window);
|
|
|
|
struct _toc_config toc_config[] = {
|
|
- { "/usr/man", TOC_MAN_TYPE },
|
|
+ { "/usr/share/man", TOC_MAN_TYPE },
|
|
{ "/usr/local/man", TOC_MAN_TYPE },
|
|
{ "/usr/X11R6/man", TOC_MAN_TYPE },
|
|
- { "/usr/info", TOC_INFO_TYPE },
|
|
- { "/opt/gnome/share/gnome/help", TOC_GHELP_TYPE },
|
|
- { "/usr/local/share/gnome/help", TOC_GHELP_TYPE },
|
|
- { "/usr/local/gnome/share/gnome/help", TOC_GHELP_TYPE },
|
|
- { "/usr/share/gnome/help", TOC_GHELP_TYPE },
|
|
+ { "/usr/share/info", TOC_INFO_TYPE },
|
|
+ { "/usr/local/info", TOC_INFO_TYPE },
|
|
+ { "/usr/X11R6/info", TOC_INFO_TYPE },
|
|
+ { "/usr/X11R6/share/gnome/help", TOC_GHELP_TYPE },
|
|
{ NULL, 0 }
|
|
};
|
|
|