diff options
Diffstat (limited to 'src/main/java/com/google/devtools/build/docgen/SkylarkDocumentationProcessor.java')
-rw-r--r-- | src/main/java/com/google/devtools/build/docgen/SkylarkDocumentationProcessor.java | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/docgen/SkylarkDocumentationProcessor.java b/src/main/java/com/google/devtools/build/docgen/SkylarkDocumentationProcessor.java index f6525f6849..34a1b23810 100644 --- a/src/main/java/com/google/devtools/build/docgen/SkylarkDocumentationProcessor.java +++ b/src/main/java/com/google/devtools/build/docgen/SkylarkDocumentationProcessor.java @@ -243,7 +243,10 @@ public final class SkylarkDocumentationProcessor { private static void parseOptions(String... args) { for (String arg : args) { if (arg.startsWith("--be_root=")) { - DocgenConsts.BEDocsRoot = arg.split("--be_root=", 2)[1]; + DocgenConsts.BeDocsRoot = arg.split("--be_root=", 2)[1]; + } + if (arg.startsWith("--doc_extension=")) { + DocgenConsts.documentationExtension = arg.split("--doc_extension=", 2)[1]; } } } |