[docs] Ensure we include section 5 documentation

Section 5 documentation is missing from the documentation restructure.

Signed-off-by: Morten Linderud <morten@linderud.pw>
This commit is contained in:
Morten Linderud 2019-11-02 13:48:47 +01:00
parent 9558797fb7
commit 079164c391
No known key found for this signature in database
GPG key ID: E742683BA08CB2FF
3 changed files with 0 additions and 0 deletions