diff options
author | Marc Bonnici <marc.bonnici@arm.com> | 2018-06-20 17:43:52 +0100 |
---|---|---|
committer | setrofim <setrofim@gmail.com> | 2018-06-26 16:25:05 +0100 |
commit | 6c935900627277935531da2a599655e1d98826e0 (patch) | |
tree | 21998745308b66cb0156c8d93b9898da67976592 /doc/source/developer_information.rst | |
parent | 3c0f1968c5017808a4d93866653afbf8153733c0 (diff) |
doc: Restructure
Restructure the documentation to be split into `User Information` and
`Developer Information`, and split the how to guides into their
corresponding section.
Diffstat (limited to 'doc/source/developer_information.rst')
-rw-r--r-- | doc/source/developer_information.rst | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/source/developer_information.rst b/doc/source/developer_information.rst new file mode 100644 index 00000000..ff7cb99b --- /dev/null +++ b/doc/source/developer_information.rst @@ -0,0 +1,11 @@ +===================== +Developer Information +===================== + +.. contents:: Contents + :depth: 4 + :local: + + +.. include:: developer_information/how_to.rst +.. include:: developer_information/developer_reference.rst |