This is a rather silly question, but the other day I wanted to look up the syntax of some command or other, but had no internet connection. I had always assumed that the online documentation was generated from manpages, but I don't see any in the source.
Am I overlooking a repository, or are the docs HTML only? (And if the latter, would hypothetical patches to add manpages be accepted?) -- S. Gilles