Reorganize dev docs TOC, add label to remote TOC

develop
lethosor 2020-07-28 00:21:23 -04:00
parent 289e0df828
commit c1219642b5
No known key found for this signature in database
GPG Key ID: 76A269552F4F58C1
2 changed files with 2 additions and 2 deletions

@ -12,7 +12,7 @@ available are not comprehensive, but can be extended with plugins.
.. _Google protobuf: https://developers.google.com/protocol-buffers
.. contents::
.. contents:: Contents
:local:

@ -12,9 +12,9 @@ These are pages relevant to people developing for DFHack.
/docs/Compile
/docs/NEWS-dev
/docs/Lua API
/docs/Remote
/docs/Documentation
/docs/Structures-intro
/docs/Memory-research
/docs/Remote
/docs/Binpatches