From c1219642b518b57722c6d6d19f63152dc27c8ac0 Mon Sep 17 00:00:00 2001 From: lethosor Date: Tue, 28 Jul 2020 00:21:23 -0400 Subject: [PATCH] Reorganize dev docs TOC, add label to remote TOC --- docs/Remote.rst | 2 +- docs/index-dev.rst | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/Remote.rst b/docs/Remote.rst index a6f07ebc0..435873f71 100644 --- a/docs/Remote.rst +++ b/docs/Remote.rst @@ -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: diff --git a/docs/index-dev.rst b/docs/index-dev.rst index 560137609..95e5e3fdd 100644 --- a/docs/index-dev.rst +++ b/docs/index-dev.rst @@ -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