https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119227
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- So, one thing is during make html: ... makeinfo --split-size=5000000 --split-size=5000000 --html -I ../../gcc/doc/include -I ../../gcc/ada -o /home/jakub/src/gcc/obj30/gcc/HTML/gcc-15.0.1/ada ../../gcc/ada/gnat_rm.texi mandoc -T html ../../gcc/cobol/gcobol.1 > gcobol.html~ /bin/sh: line 1: mandoc: command not found Do we document the requirement of mandoc anywhere? Ideally the documentation should be converted to texinfo IMHO, especially so that *.urls can easily refer to it. Apparently maintainer-scripts/update_web_docs_git doesn't use mandoc but mdoc2pdf_html instead. Sourceware has neither of those installed. Last night's onlinedocs building certainly hasn't created any gcobol.html nor gcobol-io.html.