aboutsummaryrefslogtreecommitdiff
path: root/site/_layouts/docs.html
AgeCommit message (Collapse)AuthorFilesLines
2020-08-04Backport #31339 (#31414)XhmikosR1-1/+4
* Backport #31339 Add view on GitHub links for easier content editing from the docs
2019-05-09Backport #28679.Martijn Cuppens1-2/+2
* Documentation tweaks * Remove redundant `col-12` classes
2019-03-08put secondary navigation in an explicit landmark `nav` and add a label on ↵Laussel Loïc1-2/+2
each nav (#28361)
2018-11-23Revert "Replace anchor.js with jekyll-anchor-headings."XhmikosR1-1/+1
This reverts commit b04f97f60be64549a37e0c71d676ab67e70891fa.
2018-11-20Replace anchor.js with jekyll-anchor-headings.XhmikosR1-1/+1
This allows us to generate the anchor links on build time. https://github.com/allejo/jekyll-anchor-headings
2018-07-11Reorganize docs for easier deploysMark Otto1-0/+34
With the current docs directory setup, I'm making too many mistakes and have to manually address path changes and directory moves on deploy. This makes for a frustrating experience developing locally and shipping releases. With this PR, we're basically back to the same setup from v3—duplicating the dist directory into our docs directory. Not the most ideal, but very straightforward for me as the release manager.