diff options
author | ng0 <ng0@n0.is> | 2019-04-01 18:26:06 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-04-01 18:26:06 +0000 |
commit | d9415604a052facf2be3f684de176a94dd37f660 (patch) | |
tree | 204fab4ae767449ac1beb14ccd5a930662bf54d6 | |
parent | 1d17d1aa2e32586ac07f637ad320b05a56cc1e3c (diff) | |
download | gnunet-d9415604a052facf2be3f684de176a94dd37f660.tar.gz gnunet-d9415604a052facf2be3f684de176a94dd37f660.zip |
Fix building texi2mdoc generation
-rw-r--r-- | configure.ac | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/configure.ac b/configure.ac index 270011a1c..eac6b67b8 100644 --- a/configure.ac +++ b/configure.ac | |||
@@ -340,11 +340,11 @@ fi | |||
340 | # FIXME: Something is wrong about this in the output of ./configure runs | 340 | # FIXME: Something is wrong about this in the output of ./configure runs |
341 | AC_MSG_CHECKING(wether to include generated texi2mdoc output in installation) | 341 | AC_MSG_CHECKING(wether to include generated texi2mdoc output in installation) |
342 | AC_ARG_ENABLE([texi2mdoc-generation], | 342 | AC_ARG_ENABLE([texi2mdoc-generation], |
343 | [AS_HELP_STRING([--disable-texi2mdoc-generation], [do not include generated texi2mdoc output in installation])], | 343 | [AS_HELP_STRING([--disable-texi2mdoc-generation], [do not include generated texi2mdoc output in installation])], |
344 | [texi2mdoc-generation=${enableval}], | 344 | [texi2mdoc_generation=${enableval}], |
345 | [texi2mdoc-generation=yes]) | 345 | [texi2mdoc_generation=yes]) |
346 | AC_MSG_RESULT($texi2mdoc-generation) | 346 | AC_MSG_RESULT($texi2mdoc_generation) |
347 | if test "x$texi2mdoc-generation" = "xyes" | 347 | if test "x$texi2mdoc_generation" = "xyes" |
348 | then | 348 | then |
349 | if test "$texi2mdoc" = 0 | 349 | if test "$texi2mdoc" = 0 |
350 | then | 350 | then |