5 Commits

Author	SHA1	Message	Date
rubenwardy	b1786e88ac	Use .md extension for markdown files ... Linking to line numbers is brittle, linking to sections/headings is better. If you still want to link to a line number, you can append ?plain=1 to GitHub's URL	2023-04-16 20:23:53 +01:00
sfan5	cae7ec1eb4	Cut back on Gitlab-ci & misc pipeline updates	2022-08-15 10:47:47 +02:00
Paul Ouellette	840b17ce63	Update API site build (#9622)	2020-04-11 20:38:39 +02:00
Paul Ouellette	920bd3b16f	Fix API site build (#8551)	2019-05-21 19:37:10 +02:00
Paul Ouellette	bb7afd306a	Add Mkdocs API site (#8133) ... * Add MkDocs API site	2019-04-12 14:29:29 +02:00