Baixei a fonte do GDB:
git clone git://sourceware.org/git/binutils-gdb.git
agora, como faço para gerar a documentação da fonte, conforme pode ser baixado em: https://sourceware.org/gdb/current/onlinedocs/ ?
Estou especialmente interessado na documentação HTML, especialmente se for possível construir uma versão de página única dela.
Estou no GDB master f47998d69f8d290564c022b010e63d5886a1fd7d após gdb-8.2-release
.