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.

2 files changed, 8 insertions, 3 deletions

diff --git a/documentation/Doxyfile.in b/documentation/Doxyfile.in
index e923d8c96..f9cfd528b 100644
--- a/documentation/Doxyfile.in
+++ b/documentation/Doxyfile.in
@@ -857,7 +857,8 @@ RECURSIVE              = YES
 # Note that relative paths are relative to the directory from which doxygen is
 # run.
 
-EXCLUDE                = @FLTK_SOURCE_DIR@/src/drivers/
+EXCLUDE                = @FLTK_SOURCE_DIR@/src/drivers/ \
+                         @FLTK_SOURCE_DIR@/src/xutf8/
 
 # The EXCLUDE_SYMLINKS tag can be used to select whether or not files or
 # directories that are symbolic links (a Unix file system feature) are excluded
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