gecko-dev/devtools/docs/book.json

{
  "plugins": ["hints"],
  "structure": {
    "summary": "index.md"
  }
}
Bug 1568472 - Add Gitbook hint plugin. r=jdescottes. The template is used in one of the page, but the plugin wasn't installed, so Gitbook would fail generating the doc. Differential Revision: https://phabricator.services.mozilla.com/D39156 --HG-- extra : moz-landing-system : lando 2019-07-24 13:38:20 +03:00			`{`
Bug 1613368 - Fix devtools documentation gitbook config r=pbro Differential Revision: https://phabricator.services.mozilla.com/D61680 --HG-- extra : moz-landing-system : lando 2020-02-05 16:33:05 +03:00			`"plugins": ["hints"],`
			`"structure": {`
			`"summary": "index.md"`
			`}`
Bug 1568472 - Add Gitbook hint plugin. r=jdescottes. The template is used in one of the page, but the plugin wasn't installed, so Gitbook would fail generating the doc. Differential Revision: https://phabricator.services.mozilla.com/D39156 --HG-- extra : moz-landing-system : lando 2019-07-24 13:38:20 +03:00			`}`