blob: 20d8903214e06bcdd353d070538167d909143c4f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
$NetBSD: patch-ac,v 1.10 2013/10/06 16:09:01 wiz Exp $
--- configure.orig 2013-10-05 14:00:10.000000000 +0000
+++ configure
@@ -11471,6 +11471,7 @@ fi
fi
+if false ; then
# Check if makeinfo support html output. If it doesn't, pretend it's missing
# rather than failing rebuilding the documentation.
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking if makeinfo supports html output" >&5
@@ -11493,6 +11494,7 @@ then
else
MAKEINFO="$MAKEINFO --no-split"
fi
+fi
# ====================
# Check for libraries.
|
