Fix broken link to DefaultInfo from ctx.html

RELNOTES: None.
PiperOrigin-RevId: 237242902
diff --git a/src/main/java/com/google/devtools/build/lib/skylarkbuildapi/SkylarkRuleContextApi.java b/src/main/java/com/google/devtools/build/lib/skylarkbuildapi/SkylarkRuleContextApi.java
index 7e8bee7..80a2c92 100644
--- a/src/main/java/com/google/devtools/build/lib/skylarkbuildapi/SkylarkRuleContextApi.java
+++ b/src/main/java/com/google/devtools/build/lib/skylarkbuildapi/SkylarkRuleContextApi.java
@@ -138,14 +138,13 @@
           + "</a>, there is a field named <code>\"executable\"</code>, which is the default "
           + "executable. It is recommended that instead of using this, you pass another file "
           + "(either predeclared or not) to the <code>executable</code> arg of "
-          + "<a href='globals.html#DefaultInfo'><code>DefaultInfo</code></a>."
+          + "<a href='DefaultInfo.html'><code>DefaultInfo</code></a>."
           + "</ul>";
 
   @SkylarkCallable(
-    name = "default_provider",
-    structField = true,
-    doc = "Deprecated. Use <a href=\"globals.html#DefaultInfo\">DefaultInfo</a> instead."
-  )
+      name = "default_provider",
+      structField = true,
+      doc = "Deprecated. Use <a href=\"DefaultInfo.html\">DefaultInfo</a> instead.")
   public ProviderApi getDefaultProvider();
 
   @SkylarkCallable(