aboutsummaryrefslogtreecommitdiffstats
path: root/erts
diff options
context:
space:
mode:
authorLars Thorsen <[email protected]>2013-01-15 12:06:28 +0100
committerLars Thorsen <[email protected]>2013-01-21 14:20:23 +0100
commit29fcde84ea712308452a990b5baa2fd688f0c860 (patch)
treeb8b9de38072f30773dc828843e93cc3c506f61fe /erts
parent14e9c6fbdafc870016a3f586168d689859701274 (diff)
downloadotp-29fcde84ea712308452a990b5baa2fd688f0c860.tar.gz
otp-29fcde84ea712308452a990b5baa2fd688f0c860.tar.bz2
otp-29fcde84ea712308452a990b5baa2fd688f0c860.zip
[erl_docgen] Add xmllint target for the documentation and fix some DTD errors
Diffstat (limited to 'erts')
-rw-r--r--erts/configure.in6
1 files changed, 6 insertions, 0 deletions
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