gre-ilya/fltk - fltk - Gitea: Git with a cup of tea

Author SHA1 Message Date

Author	SHA1	Message	Date
Albrecht Schlosser	62c2497ff5	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.	2026-01-03 16:35:53 +01:00
Matthias Melcher	9af8abc080	Fix forgotten `run_pdflatex` call (1.5)	2025-04-23 15:47:31 +02:00
Aaron M. Ucko	678c850272	Use CMake's built-in timestamp formatting. It notably honors SOURCE_DATE_EPOCH if set, making for reproducible output. For even better reproducibility, use UTC. (Unlike the date command's output, the result is already always in English.) Extend this approach to the book, introducing appropriately formatted PDF_DATE and TODAY variables for its PDF metadata and title page respectively and making make_pdf configurable.	2025-04-02 20:25:07 +02:00

Albrecht Schlosser

62c2497ff5

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.

2026-01-03 16:35:53 +01:00

Matthias Melcher

9af8abc080

Fix forgotten run_pdflatex call (1.5)

2025-04-23 15:47:31 +02:00

Aaron M. Ucko

678c850272

Use CMake's built-in timestamp formatting.

It notably honors SOURCE_DATE_EPOCH if set, making for reproducible
output.  For even better reproducibility, use UTC.  (Unlike the date
command's output, the result is already always in English.)  Extend
this approach to the book, introducing appropriately formatted
PDF_DATE and TODAY variables for its PDF metadata and title page
respectively and making make_pdf configurable.

2025-04-02 20:25:07 +02:00

3 Commits