techdocs: make builder optional

Signed-off-by: Vincenzo Scamporlino <vincenzos@spotify.com>
2024-05-07 14:28:02 +02:00
parent 178ffdd402
commit 8a18e9ef38
5 changed files with 7 additions and 5 deletions
@@ -24,7 +24,7 @@ export interface Config {
     * Documentation building process depends on the builder attr
     * @visibility frontend
     */
-    builder: 'local' | 'external';
+    builder?: 'local' | 'external';

    /**
     * Allows fallback to case-sensitive triplets in case of migration issues.