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.
This commit is contained in:
Hugo Locurcio 2022-02-14 14:18:53 +01:00
parent 6e73aa0497
commit b68dd2e189
No known key found for this signature in database
GPG key ID: 39E8F8BE30B0A49C
843 changed files with 1076 additions and 842 deletions

View file

@ -24,7 +24,7 @@ jobs:
- name: Install dependencies
run: |
sudo apt-get install -qq dos2unix recode clang-format-13
sudo apt-get install -qq dos2unix recode clang-format-13 libxml2-utils
sudo update-alternatives --remove-all clang-format
sudo update-alternatives --install /usr/bin/clang-format clang-format /usr/bin/clang-format-13 100
sudo pip3 install black==21.10b0 pygments
@ -48,6 +48,10 @@ jobs:
npm run lint
npm run docs -- -d dry-run
- name: Class reference schema checks
run: |
xmllint --noout --schema doc/class.xsd doc/classes/*.xml modules/*/doc_classes/*.xml
- name: Documentation checks
run: |
doc/tools/make_rst.py --dry-run doc/classes modules