diff options
Diffstat (limited to 'site/_layouts')
-rw-r--r-- | site/_layouts/documentation.html | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/site/_layouts/documentation.html b/site/_layouts/documentation.html index bd64c89aac..a62bd83b3a 100644 --- a/site/_layouts/documentation.html +++ b/site/_layouts/documentation.html @@ -115,9 +115,10 @@ nav: docs // if there is an edit button and we are not in the Build Encyclopedia if (editButton && window.location.pathname.match(versionDocsURLRegex) - && window.location.pathname.lastIndexOf('/be/') == -1) { + && window.location.pathname.lastIndexOf('/be/') == -1 + && window.location.pathname.lastIndexOf('/skylark/lib/') == -1) { var docFile = window.location.pathname.match(versionDocsURLRegex)[1]; - // some pages are now using markdown :( + // some pages are not using markdown :( if (docFile !== 'bazel-user-manual.html' && docFile !== 'build-ref.html' && docFile !== 'query.html' |