diff options
-rw-r--r-- | docs/manual/developer-guide.txt | 2 | ||||
-rw-r--r-- | docs/manual/download-infra.txt | 8 | ||||
-rw-r--r-- | docs/manual/prerequisite.txt | 2 |
3 files changed, 11 insertions, 1 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[] diff --git a/docs/manual/download-infra.txt b/docs/manual/download-infra.txt new file mode 100644 index 000000000..63908adad --- /dev/null +++ b/docs/manual/download-infra.txt @@ -0,0 +1,8 @@ +// -*- mode:doc -*- ; + +[[download-infra]] + +Download infrastructure +----------------------- + +TODO diff --git a/docs/manual/prerequisite.txt b/docs/manual/prerequisite.txt index b24731fba..693347b96 100644 --- a/docs/manual/prerequisite.txt +++ b/docs/manual/prerequisite.txt @@ -61,7 +61,7 @@ using +wget+, few are only available through their +git+, +mercurial+, or +svn+ repository. + All other source fetching methods are implemented and may be used in a -development context. +development context (further details: refer to xref:download-infra[]). + ** +bazaar+ ** +cvs+ |