tree 527437f18dd9783ef22970031e67426578a813b1
parent 60a3501429ea870bf9bf259bef7909b47f57398e
author Fabio Utzig <utzig@apache.org> 1575372584 -0300
committer Fabio Utzig <utzig@utzig.org> 1575373103 -0300

Fix location of nimble docs

When building the site add Nimble docs under _scratch/network, instead
of _scratch/network/docs, which was causing the edit_on_github macro to
add and extra `docs` entry to the path. Adjust the toc accordingly.