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 f3fc1dd6a..500289707 100644 --- a/docs/manual/developer-guide.txt +++ b/docs/manual/developer-guide.txt @@ -7,6 +7,8 @@ include::writing-rules.txt[] include::adding-packages.txt[] +include::patch-policy.txt[] + include::download-infra.txt[] include::board-support.txt[] |