I remember Gentoo Linux had all its official documentation in a system just like that, maybe 15-20 years ago. It was written and stored as XML, XSLT-processed a

I remember Gentoo Linux had all its official documentation in a system just like that, maybe 15-20 years ago. It was written and stored as XML, XSLT-processed and rendered into HTML on the webservers. They moved everything into a wiki later. EDIT: Oh, their developers' manual is still done like that: https://github.com/gentoo/devmanual https://github.com/gentoo/devmanual into https://devmanual.gentoo.org/ https://devmanual.gentoo.org/