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