On Mon, 13 Jan 2025 at 22:52, Junio C Hamano <gitster@xxxxxxxxx> wrote: > > "brian m. carlson" <sandals@xxxxxxxxxxxxxxxxxxxx> writes: > > >> A simpler alternative could be to rename files *.adoc. This would have > >> the advantage of being recognised by even more tools. > > > > This I would be in favour of. > > Sounds quite sensible. Great, we seem to have reached a consensus in favour of renaming Documentation AsciiDoc files to *.adoc. I'll leave this to someone more familiar with the documentation build process (or patient to experiment). #leftoverbits