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 <tuncer.ayaz@gmail.com>

Author: Tuncer Ayaz

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

erts/configure.in

@@ -821,13 +821,14 @@ fi
 AC_CHECK_PROGS(XSLTPROC, xsltproc)
 if test -z "$XSLTPROC"; then
   echo "xsltproc" >> doc/CONF_INFO
-  AC_MSG_WARN([No 'xsltproc' command found: the documentation can not be built])
+  AC_MSG_WARN([No 'xsltproc' command found: the documentation cannot be built])
 fi
 
 AC_CHECK_PROGS(FOP, fop)
 if test -z "$FOP"; then
+  FOP="$ERL_TOP/make/fakefop"
   echo "fop" >> doc/CONF_INFO
-  AC_MSG_WARN([No 'fop' command found: the documentation can not be built])
+  AC_MSG_WARN([No 'fop' command found: going to generate placeholder PDF files])
 fi
 
 dnl

make/fakefop

@@ -0,0 +1,99 @@
+#!/bin/sh
+#
+# Copyright Tuncer Ayaz 2010. All Rights Reserved.
+#
+# %CopyrightBegin%
+# %CopyrightEnd%
+#
+# Author: Tuncer Ayaz
+#
+
+if [ $# -lt 4 ]
+then
+  echo "Usage: fakefop -fo IGNORED -pdf OUTFILE"
+  exit 1
+fi
+
+OUTFILE=$4
+NAME=`basename $4 .pdf`
+
+echo Write $OUTFILE
+cat > $OUTFILE <<EndOfFile
+%PDF-1.4
+1 0 obj
+  << /Type /Catalog
+    /Outlines 2 0 R
+    /Pages 3 0 R
+  >>
+endobj
+
+2 0 obj
+  << /Type /Outlines
+    /Count 0
+  >>
+endobj
+
+3 0 obj
+  << /Type /Pages
+    /Kids [4 0 R]
+    /Count 1
+  >>
+endobj
+
+4 0 obj
+  << /Type /Page
+      /Parent 3 0 R
+      /MediaBox [0 0 612 492]
+      /Contents 5 0 R
+      /Resources << /ProcSet 6 0 R
+                    /Font << /F1 7 0 R >>
+                >>
+  >>
+endobj
+
+5 0 obj
+  << /Length 73 >>
+stream
+  BT
+    /F1 24 Tf
+    10 400 Td
+    ($NAME) Tj
+  ET
+  BT
+    /F1 24 Tf
+    10 350 Td
+    (\(placeholder PDF generated without FOP\)) Tj
+  ET
+endstream
+endobj
+
+6 0 obj
+  [/PDF /Text]
+endobj
+7 0 obj
+  << /Type /Font
+    /Subtype /Type1
+    /Name /F1
+    /BaseFont /Helvetica
+    /Encoding /MacRomanEncoding
+  >>
+endobj
+xref
+0 8
+0000000000 65535 f
+0000000009 00000 n
+0000000074 00000 n
+0000000120 00000 n
+0000000179 00000 n
+0000000364 00000 n
+0000000466 00000 n
+0000000496 00000 n
+
+trailer
+  << /Size 8
+    /Root 1 0 R
+  >>
+startxref
+625
+%%EOF
+EndOfFile