7 commits

Author	SHA1	Message	Date
Rémi Verschelde	81064cc239	Doctool: Remove version attribute from XML header ... We don't use that info for anything, and it generates unnecessary diffs every time we bump the minor version (and CI failures if we forget to sync some files from opt-in modules (mono, text_server_fb).	2023-07-06 10:08:21 +02:00
Rémi Verschelde	346f1ab86b	Bump version to 4.2-dev ... Keep on waitin'	2023-07-05 22:07:03 +02:00
Rémi Verschelde	1c1524a651	Bump version to 4.1-dev ... Can't stop, won't stop, they said, huh?	2023-03-01 01:44:37 +01:00
Hugo Locurcio	b68dd2e189	Add an XML schema for documentation ... This makes it easier to spot syntax errors when editing the class reference. The schema is referenced locally so validation can still work offline. Each class XML's schema conformance is also checked on GitHub Actions.	2022-02-15 00:03:31 +01:00
Hugo Locurcio	5268786ac0	Document performance limitations with CSG nodes, link to tutorial	2022-02-07 15:55:02 +01:00
Aaron Franke	d54f2ad7ca	Don't generate empty doc sections and reduce code duplication	2021-09-20 20:59:33 -05:00
Rémi Verschelde	eaaee63b62	doc: Update classref with node renames ... A few extra renames for classes which were missed in last week's PRs.	2020-03-30 18:23:02 +02:00