pancho horrillo 5d428b68dd docs: update filename of generated HTML manual (#7010) ... Since 613dbb35db, the manual produces an `index.xhtml` file, instead of a plain `index.html`.		2025-05-09 08:17:06 -05:00
..
getting-started.md	docs: replace console language with shell	2023-12-07 21:28:18 +09:00
guidelines.md	docs: update filename of generated HTML manual (#7010)	2025-05-09 08:17:06 -05:00
news.md	news: create an individual file for each news entry (#6747)	2025-04-05 11:13:59 -05:00
tests.md	treewide: Prevent IFD by default	2025-05-07 10:34:18 -05:00