Fix a documentation link
PiperOrigin-RevId: 179416493
diff --git a/src/main/java/com/google/devtools/build/docgen/DocgenConsts.java b/src/main/java/com/google/devtools/build/docgen/DocgenConsts.java
index d5e0037..ebdf3f3 100644
--- a/src/main/java/com/google/devtools/build/docgen/DocgenConsts.java
+++ b/src/main/java/com/google/devtools/build/docgen/DocgenConsts.java
@@ -45,10 +45,6 @@
public static final String SKYLARK_OVERVIEW_TEMPLATE =
"com/google/devtools/build/docgen/templates/skylark-overview.vm";
- // Build Encyclopedia documentation root
- // Can be overridden from SkylarkDocumentationProcessor#parseOptions
- public static String BEDocsRoot = "/versions/master/be";
-
public static final String VAR_LEFT_PANEL = "LEFT_PANEL";
public static final String VAR_SECTION_BINARY = "SECTION_BINARY";
@@ -173,6 +169,15 @@
.put("hdrs", -90)
.build();
+ // The following variables are not constants as they can be overridden from
+ // SkylarkDocumentationProcessor#parseOptions
+
+ // Build Encyclopedia documentation root
+ public static String BeDocsRoot = "/versions/master/be";
+
+ // Documentation files extension
+ public static String documentationExtension = "html";
+
static String toCommandLineFormat(String cmdDoc) {
// Replace html <br> tags with line breaks
cmdDoc = cmdDoc.replaceAll("(<br>|<br[\\s]*/>)", "\n") + "\n";