diff options
| author |  steren <steren@google.com> | 2017-07-10 14:54:53 +0200 |
|---|---|---|
| committer |  László Csomor <laszlocsomor@google.com> | 2017-07-10 17:44:35 +0200 |
| commit | 45d1c3754883d002e9880644a63c0d07390465a5 (patch) | |
| tree | 1318bc5f581fb3ef75583bba0f9d6e474def83c8 /site/_layouts | |
| parent | d03d87f67ed7f55c23298a019186b4e84184688f (diff) | |
Docs: Do not display Edit button on Skylark reference pages
Fix #3335
RELNOTES: None
PiperOrigin-RevId: 161384915
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' |