Documentation build regressions

Pedro Alves
Thu May 31 17:51:00 GMT 2018

This suggests to me that we should make the buildbot
build the documentation in its various formats.
Is that done already?  Maybe I missed it.

>From a quick look at the Makefiles, maybe something around:

 make -C gdb diststuff; make -C gdb/doc all-doc pdf html

Pedro Alves

More information about the Gdb mailing list