Speed up PDF generation and add timing debug output

... to the Doxygen generation log file `documentation/pdfall.log`.

The additions to the log file are intended to find out which parts
take how much time.

Note: use `grep "make_pdf" documentation/pdfall.log` to see the
  log output with timestamps.

- documentation/Doxyfile.in: exclude undocumented source files in
  src/xutf8/* which reduces parsing by a small amount of time,
  estimated about 5 percent of build time. YMMV.

1 files changed, 6 insertions, 2 deletions

diff --git a/documentation/make_pdf.in b/documentation/make_pdf.in
index 44dd69eda..08e337d12 100755
--- a/documentation/make_pdf.in
+++ b/documentation/make_pdf.in
@@ -2,7 +2,7 @@
 #
 # Makefile helper script for the Fast Light Tool Kit (FLTK) documentation.
 #
-# Copyright 1998-2020 by Bill Spitzak and others.
+# Copyright 1998-2026 by Bill Spitzak and others.
 #
 # This library is free software. Distribution and use rights are outlined in
 # the file "COPYING" which should have been included with this file.  If this
@@ -32,15 +32,19 @@ run_pdflatex() {
 }
 
 ( cd latex
+  echo "--- make_pdf --- `date` -   Running pdflatex ..."
   run_pdflatex
+  echo "--- make_pdf --- `date` -   Running makeindex ..."
   makeindex refman.idx
+  echo "--- make_pdf --- `date` -   Running pdflatex ..."
   run_pdflatex
   latex_count=5
   while egrep -s 'Rerun (LaTeX|to get cross-references right)' refman.log \
 	  && [ $latex_count -gt 0 ]
     do
-      echo "Rerunning pdflatex ..."
+      echo "--- make_pdf --- `date` - Rerunning pdflatex, count = $latex_count ..."
       run_pdflatex
       latex_count=`expr $latex_count - 1`
     done
+    echo "--- make_pdf --- `date` - Done, count = $latex_count."
   cd ..) > pdfall.log 2>&1