Eric Huss b3bd103742 Add a warning when a Font Awesome font is missing ...

With the migration to Font Awesome 6, I'm running into books where the
icon names are missing or have changed. This adds a warning to help
identify those situations.

2025-10-30 19:30:01 -07:00

..

gui

Merge pull request #2899 from ehuss/filtered-headings

2025-10-22 00:24:37 +00:00

testsuite

Add a warning when a Font Awesome font is missing

2025-10-30 19:30:01 -07:00