Merge remote-tracking branch 'origin/main'

This commit is contained in:
Hosted Weblate 2022-05-14 14:35:45 +02:00
commit 383b9ae87a
No known key found for this signature in database
GPG Key ID: A3FAAA06E6569B4C
2 changed files with 2 additions and 0 deletions

View File

@ -16,6 +16,7 @@ build:
submodules:
include:
- extmod/ulab
- frozen
formats:
- pdf

View File

@ -68,6 +68,7 @@ submodules = []
if target == "test":
submodules = ["extmod/", "lib/", "tools/", "extmod/ulab", "lib/berkeley-db-1.xx"]
elif target == "docs":
# NOTE: must match .readthedocs.yml as this script is not run by readthedocs
submodules = ["extmod/ulab/", "frozen/"]
elif target == "mpy-cross-mac":
submodules = ["tools/"] # for huffman