diff options
Diffstat (limited to 'gnome-doc-utils-fix.diff')
| -rw-r--r-- | gnome-doc-utils-fix.diff | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gnome-doc-utils-fix.diff b/gnome-doc-utils-fix.diff new file mode 100644 index 000000000000..df8a62960698 --- /dev/null +++ b/gnome-doc-utils-fix.diff @@ -0,0 +1,11 @@ +--- configure.ac.orig 2014-01-07 17:03:46.000000000 +0100 ++++ configure.ac 2014-01-07 17:04:05.480975158 +0100 +@@ -196,6 +196,8 @@ + fi + + AM_CONDITIONAL(ENABLE_GTK_DOC, test x$enable_gtk_doc = xyes) ++AM_CONDITIONAL(HAVE_GNOME_DOC_UTILS, test x$enable_gtk_doc = xyes) ++AM_CONDITIONAL(ENABLE_SK, test x$enable_scrollkeeper = xyes) + + ################################################## + # Check for txt2man |