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.
This commit is contained in:
parent
869df69ff2
commit
62c2497ff5
@ -857,7 +857,8 @@ RECURSIVE = YES
|
|||||||
# Note that relative paths are relative to the directory from which doxygen is
|
# Note that relative paths are relative to the directory from which doxygen is
|
||||||
# run.
|
# 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
|
# 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
|
# directories that are symbolic links (a Unix file system feature) are excluded
|
||||||
|
|||||||
@ -2,7 +2,7 @@
|
|||||||
#
|
#
|
||||||
# Makefile helper script for the Fast Light Tool Kit (FLTK) documentation.
|
# 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
|
# 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
|
# the file "COPYING" which should have been included with this file. If this
|
||||||
@ -32,15 +32,19 @@ run_pdflatex() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
( cd latex
|
( cd latex
|
||||||
|
echo "--- make_pdf --- `date` - Running pdflatex ..."
|
||||||
run_pdflatex
|
run_pdflatex
|
||||||
|
echo "--- make_pdf --- `date` - Running makeindex ..."
|
||||||
makeindex refman.idx
|
makeindex refman.idx
|
||||||
|
echo "--- make_pdf --- `date` - Running pdflatex ..."
|
||||||
run_pdflatex
|
run_pdflatex
|
||||||
latex_count=5
|
latex_count=5
|
||||||
while egrep -s 'Rerun (LaTeX|to get cross-references right)' refman.log \
|
while egrep -s 'Rerun (LaTeX|to get cross-references right)' refman.log \
|
||||||
&& [ $latex_count -gt 0 ]
|
&& [ $latex_count -gt 0 ]
|
||||||
do
|
do
|
||||||
echo "Rerunning pdflatex ..."
|
echo "--- make_pdf --- `date` - Rerunning pdflatex, count = $latex_count ..."
|
||||||
run_pdflatex
|
run_pdflatex
|
||||||
latex_count=`expr $latex_count - 1`
|
latex_count=`expr $latex_count - 1`
|
||||||
done
|
done
|
||||||
|
echo "--- make_pdf --- `date` - Done, count = $latex_count."
|
||||||
cd ..) > pdfall.log 2>&1
|
cd ..) > pdfall.log 2>&1
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user