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 Thanks, Pedro Alves