blob: 57240d679028bc5a7b56c083d3a646db5040b46f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
Man pages are already built in the release tarball, so we don't need latex2man.
--
diff --git a/configure b/configure
index 86c8126..989bcc2 100755
--- a/configure
+++ b/configure
@@ -18024,7 +18024,7 @@
{ $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: latex2man not found. Install latex2man. Disabling docs." >&5
$as_echo "$as_me: WARNING: latex2man not found. Install latex2man. Disabling docs." >&2;}
- enable_documentation="no";
+ enable_documentation="yes";
fi
if test x$enable_documentation != xno; then
|
