On Fri, 13 Dec 2024, David Malcolm wrote: > For the rest of GCC we use either texinfo (.texi files) or sphinx > (.rst) files; the manpages and HTML are both generated from the same > sources. I don't if using these formats is a hard requirement. If so > one converter I know of that can supposedly do roff -> texi is pandoc: > https://pandoc.org/MANUAL.html
I don't think we should introduce man pages as a new source format for documentation in GCC. Either .texi or .rst (with generated man pages) would be fine. For parts of GCC using Sphinx, I'd like us to move towards common build infrastructure for all Sphinx manuals that avoids needing duplicate Make-lang.in rules, which might facilitate future incremental transition of other manuals to Sphinx. I don't suggest this as a requirement for any new Sphinx manuals being added at present, however, but as an orthogonal refactoring. -- Joseph S. Myers josmy...@redhat.com
