https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119227
--- Comment #15 from Mark Wielaard <mark at gcc dot gnu.org> --- (In reply to James K. Lowden from comment #14) > (In reply to Mark Wielaard from comment #13) > > But it isn't clear from the logs if or where the cobol docs are generated > > now. > > I'm not sure how to answer your question. This works for me: > > $ make -n -C build/gcc/ html | grep html$ > /bin/bash ../../gcc/doc/install.texi2html > mv gcobol.html~ gcobol.html > mv gcobol-io.html~ gcobol-io.html OK, but that isn't what maintainer-scripts/update_web_docs_git does. Should it?
