diff options
| -rw-r--r-- | contain/tocs/getting_started/fetched_files.yml | 2 | ||||
| -rw-r--r-- | contain/tocs/getting_started/toc_dev_en.yml | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/contain/tocs/getting_started/fetched_files.yml b/contain/tocs/getting_started/fetched_files.yml index 1de9126..e791509 100644 --- a/contain/tocs/getting_started/fetched_files.yml +++ b/contain/tocs/getting_started/fetched_files.yml @@ -64,6 +64,8 @@ repositories: - source: troubleshooting.md label: Generic issues - source: footers/porter-footer.md + label: Intel Boards + - source: footers/intel-footer.md label: Porter board - source: footers/raspberrypi-footer.md label: Raspberry PI diff --git a/contain/tocs/getting_started/toc_dev_en.yml b/contain/tocs/getting_started/toc_dev_en.yml index 9835826..2610f27 100644 --- a/contain/tocs/getting_started/toc_dev_en.yml +++ b/contain/tocs/getting_started/toc_dev_en.yml @@ -56,6 +56,7 @@ children: name: Troubleshooting children: - url: reference/troubleshooting.html + - url: reference/footers/intel-footer.html - url: reference/footers/porter-footer.html - url: reference/footers/raspberrypi-footer.html - |