[Export docs] Move docs to platform folders.

This commit is contained in:
bruvzg 2023-04-19 12:23:22 +03:00
parent 27253f3eb2
commit a5128e71bb
No known key found for this signature in database
GPG key ID: 7960FCF39844EC38
16 changed files with 75 additions and 5 deletions

View file

@ -54,11 +54,11 @@ jobs:
- name: Class reference schema checks
run: |
xmllint --noout --schema doc/class.xsd doc/classes/*.xml modules/*/doc_classes/*.xml
xmllint --noout --schema doc/class.xsd doc/classes/*.xml modules/*/doc_classes/*.xml platform/*/doc_classes/*.xml
- name: Documentation checks
run: |
doc/tools/make_rst.py --dry-run --color doc/classes modules
doc/tools/make_rst.py --dry-run --color doc/classes modules platforms
- name: Style checks via clang-format (clang_format.sh)
run: |