Build manual

Fix #15010: ErrorLogger: do not open and read from files unless necessary #22723

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
manpage	25s
convert_via_pandoc	22s
	47s