From 29fcde84ea712308452a990b5baa2fd688f0c860 Mon Sep 17 00:00:00 2001 From: Lars Thorsen Date: Tue, 15 Jan 2013 12:06:28 +0100 Subject: [erl_docgen] Add xmllint target for the documentation and fix some DTD errors --- erts/configure.in | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'erts') diff --git a/erts/configure.in b/erts/configure.in index 30bc1ef000..a0c5cab181 100644 --- a/erts/configure.in +++ b/erts/configure.in @@ -827,6 +827,12 @@ if test -z "$FOP"; then AC_MSG_WARN([No 'fop' command found: going to generate placeholder PDF files]) fi +AC_CHECK_PROGS(XMLLINT, xmllint) +if test -z "$XMLLINT"; then + echo "xmllint" >> doc/CONF_INFO + AC_MSG_WARN([No 'xmllint' command found: can't run the xmllint target for the documentation]) +fi + dnl dnl We can live with Solaris /usr/ucb/install dnl -- cgit v1.2.3