diff options
| author | Erlang/OTP <[email protected]> | 2010-04-08 08:32:56 +0000 |
|---|---|---|
| committer | Erlang/OTP <[email protected]> | 2010-04-08 08:32:56 +0000 |
| commit | 6ba7c11891441a0a67d62d4ea278b101d53dbdbf (patch) | |
| tree | 0c0d9d7ac272637ad4b9e8df9d704e037c04be7b /configure.in | |
| parent | 2e4e428c1f773ed63102ea5628c22e5bf32b8082 (diff) | |
| parent | bdb41b943e42b4a550dbf4db6c9a2c1d4d242b43 (diff) | |
| download | otp-6ba7c11891441a0a67d62d4ea278b101d53dbdbf.tar.gz otp-6ba7c11891441a0a67d62d4ea278b101d53dbdbf.tar.bz2 otp-6ba7c11891441a0a67d62d4ea278b101d53dbdbf.zip | |
Merge branch 'ta/doc-fakefop' into dev
* ta/doc-fakefop:
Build placeholder PDF files if FOP is not found
OTP-8559 ta/doc-fakefop
If the 'fop' program (needed for building PDF files) cannot not be found,
it is now possible to build the HTML and man pages anyway (there will also
be dummy PDF files with no real content created).
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 9c815414da..eb29b13bcc 100644 --- a/configure.in +++ b/configure.in @@ -386,10 +386,18 @@ if test -f "erts/doc/CONF_INFO"; then echo '*********************************************************************' echo printf "%-15s: \n" documentation; + havexsltproc="yes" for cmd in `cat erts/doc/CONF_INFO`; do echo " $cmd is missing." + if test $cmd = "xsltproc"; then + havexsltproc="no" + fi done - echo ' The documentation can not be built.' + if test $havexsltproc = "no"; then + echo ' The documentation can not be built.' + else + echo ' Using fakefop to generate placeholder PDF files.' + fi echo echo '*********************************************************************' fi |