diff options
| author | Lars Thorsen <[email protected]> | 2013-01-15 12:06:28 +0100 |
|---|---|---|
| committer | Lars Thorsen <[email protected]> | 2013-01-21 14:20:23 +0100 |
| commit | 29fcde84ea712308452a990b5baa2fd688f0c860 (patch) | |
| tree | b8b9de38072f30773dc828843e93cc3c506f61fe /erts/configure.in | |
| parent | 14e9c6fbdafc870016a3f586168d689859701274 (diff) | |
| download | otp-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/configure.in')
| -rw-r--r-- | erts/configure.in | 6 |
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 |