Chore: fix and regenerate docs

This commit is contained in:
Pieter Vander Vennet 2023-06-28 22:43:06 +02:00
parent 4e57944b20
commit 9e911ef92a
32 changed files with 71 additions and 95 deletions

View file

@ -34,6 +34,9 @@ function WriteFile(
noTableOfContents: boolean
}
): void {
if (!html) {
return
}
for (const source of autogenSource) {
if (source.indexOf("*") > 0) {
continue
@ -106,7 +109,8 @@ function GenerateDocumentationForTheme(theme: LayoutConfig): BaseUIElement {
function GenLayerOverviewText(): BaseUIElement {
for (const id of Constants.priviliged_layers) {
if (!AllSharedLayers.sharedLayers.has(id)) {
throw "Priviliged layer definition not found: " + id
console.error("Priviliged layer definition not found: " + id)
return undefined
}
}