From 62c2497ff5d8354485d1e105d02bba468f18aba4 Mon Sep 17 00:00:00 2001 From: Albrecht Schlosser Date: Sat, 3 Jan 2026 16:35:53 +0100 Subject: 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. --- documentation/make_pdf.in | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'documentation/make_pdf.in') 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 -- cgit v1.2.3