diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2018-07-18 23:54:50 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2018-07-18 23:54:50 +0000 |
commit | 2b6b242e6e1886528e335a3935e7069a4da63809 (patch) | |
tree | a039a833e427e9c099227c97ffad286c72d2839a /Build/source/texk/dvisvgm/dvisvgm-src/configure.ac | |
parent | 207ee9314f0cb126393c67d4b5549087221da64d (diff) |
dvisvgm 2.4.2
git-svn-id: svn://tug.org/texlive/trunk@48223 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/dvisvgm/dvisvgm-src/configure.ac')
-rw-r--r-- | Build/source/texk/dvisvgm/dvisvgm-src/configure.ac | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/Build/source/texk/dvisvgm/dvisvgm-src/configure.ac b/Build/source/texk/dvisvgm/dvisvgm-src/configure.ac index 8de39262402..1a0aa401f27 100644 --- a/Build/source/texk/dvisvgm/dvisvgm-src/configure.ac +++ b/Build/source/texk/dvisvgm/dvisvgm-src/configure.ac @@ -4,7 +4,7 @@ # Process this file with autoconf to produce a configure script. AC_PREREQ(2.59) -AC_INIT([dvisvgm],[2.4.1],[martin.gieseking@uos.de]) +AC_INIT([dvisvgm],[2.4.2],[martin.gieseking@uos.de]) DATE="July 2018" AC_CONFIG_SRCDIR(src) AC_CONFIG_HEADERS([config.h]) @@ -170,6 +170,18 @@ CPPFLAGS="$CPPFLAGS_SAVE" CFLAGS="$CFLAGS_SAVE" LDFLAGS="$LDFLAGS_SAVE" +# Check for utilities required to build the manpage +build_manpage="no" +AC_CHECK_PROG(ASCIIDOC, asciidoc, yes) +AS_IF([test "x$ASCIIDOC" = "xyes"], [ + AC_CHECK_PROG(XMLTO, xmlto, yes) + AS_IF([test "x$XMLTO" = "xyes"], [ + AC_CHECK_PROG(XSLTPROC, xsltproc, yes) + AS_IF([test "x$XSLTPROC" = "xyes"],[build_manpage="yes"])])]) +AS_IF([test "x$build_manpage" != "xyes"], + AC_MSG_NOTICE([generation of manual page has been disabled])) +AM_CONDITIONAL([BUILD_MANPAGE], [test "x$build_manpage" = "xyes"]) + AX_CODE_COVERAGE AS_IF([ test "$enable_code_coverage" = "yes" ], [ # disable optimization |