diff options
Diffstat (limited to 'editors/conglomerate/files/patch-configure')
| -rw-r--r-- | editors/conglomerate/files/patch-configure | 22 |
1 files changed, 19 insertions, 3 deletions
diff --git a/editors/conglomerate/files/patch-configure b/editors/conglomerate/files/patch-configure index f195f07..b2ca39f 100644 --- a/editors/conglomerate/files/patch-configure +++ b/editors/conglomerate/files/patch-configure @@ -1,6 +1,6 @@ ---- configure.orig Wed Dec 11 18:31:51 2002 -+++ configure Thu Dec 12 12:07:17 2002 -@@ -7414,6 +7414,7 @@ +--- configure.orig Mon Jan 5 04:13:36 2004 ++++ configure Mon Jan 5 04:17:09 2004 +@@ -8502,6 +8502,7 @@ # This can be used to rebuild libtool when needed LIBTOOL_DEPS="$ac_aux_dir/ltmain.sh" @@ -8,3 +8,19 @@ # Always use our own libtool. LIBTOOL='$(SHELL) $(top_builddir)/libtool' +@@ -10535,15 +10536,6 @@ + GTKDOC=false + fi + +-# Check whether --enable-gtk-doc or --disable-gtk-doc was given. +-if test "${enable_gtk_doc+set}" = set; then +- enableval="$enable_gtk_doc" +- enable_gtk_doc="$enableval" +-else +- enable_gtk_doc=yes +-fi; +- +- enable_gtk_doc=yes + + + |
