diff options
| author | Tuncer Ayaz <[email protected]> | 2010-03-29 02:04:00 +0200 |
|---|---|---|
| committer | Tuncer Ayaz <[email protected]> | 2010-04-06 17:37:37 +0200 |
| commit | bdb41b943e42b4a550dbf4db6c9a2c1d4d242b43 (patch) | |
| tree | 1b4800a7c4d8c045443793e5b4c52c886961c74b /configure.in | |
| parent | 39e0191d985078d6e9c12c504370425f1de5a6c5 (diff) | |
| download | otp-bdb41b943e42b4a550dbf4db6c9a2c1d4d242b43.tar.gz otp-bdb41b943e42b4a550dbf4db6c9a2c1d4d242b43.tar.bz2 otp-bdb41b943e42b4a550dbf4db6c9a2c1d4d242b43.zip | |
Build placeholder PDF files if FOP is not found
If FOP is not found create PDF files with fakefop script.
Signed-off-by: Tuncer Ayaz <[email protected]>
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 |