Do not have an edit button for documentation of the repo rules
...as these files are generated by stardoc, hence simply linking to a
mardown file with the same name won't work.
Change-Id: I2c62aa445bbe6f6634068b5a43a8d2e1c38bd3fd
PiperOrigin-RevId: 266155077
diff --git a/site/_layouts/documentation.html b/site/_layouts/documentation.html
index f551dab..13b16dd 100644
--- a/site/_layouts/documentation.html
+++ b/site/_layouts/documentation.html
@@ -320,9 +320,11 @@
var ghDocsBazeURL = 'https://github.com/bazelbuild/bazel/tree/master/site/docs/';
var editButton = document.getElementById('gh-edit');
// if there is an edit button and we are not in the Build Encyclopedia
+ // or other generated files.
if (editButton
&& window.location.pathname.match(versionDocsURLRegex)
&& window.location.pathname.lastIndexOf('/be/') == -1
+ && window.location.pathname.lastIndexOf('/repo/') == -1
&& window.location.pathname.lastIndexOf('/skylark/lib/') == -1) {
var docFile = window.location.pathname.match(versionDocsURLRegex)[1];
// some pages are not using markdown :(
