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).

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