Build manual

Fix #14025 (Makefile: make clean does not remove frontend object files) #18721

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
convert_via_pandoc	14s
manpage	27s
	41s