diff options
Diffstat (limited to 'docs/manual/developer-guide.txt')
-rw-r--r-- | docs/manual/developer-guide.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/manual/developer-guide.txt b/docs/manual/developer-guide.txt index b254b0f9e..f3fc1dd6a 100644 --- a/docs/manual/developer-guide.txt +++ b/docs/manual/developer-guide.txt @@ -7,4 +7,6 @@ include::writing-rules.txt[] include::adding-packages.txt[] +include::download-infra.txt[] + include::board-support.txt[] |