Improve docs TOC structure

peterschrammel · peterschrammel · commit d7efdd1ef5e6 · 2018-03-23T13:06:58.000Z
diff --git a/doc/architectural/cprover-architecture-overview.md b/doc/architectural/cprover-architecture-overview.md
@@ -3,7 +3,7 @@
 
 \author Martin Brain, Peter Schrammel
 
-# Overview of CPROVER Directories
+\section overview-dirs Overview of CPROVER Directories
 
 ## `src/`
 
@@ -90,7 +90,7 @@ The `–help` option gives instructions for use and the
 format of the description files.
 
 
-# General Information
+\section general-info General Information
 
 First off, read the \ref cbmc-user-manual "CBMC User Manual". It describes
 how to get, build and use CBMC. This document covers the
diff --git a/doc/satabs-user-manual.md b/doc/satabs-user-manual.md
@@ -1,3 +1,4 @@
+\ingroup module_hidden
 \page other_documentation Other Documentation
 
 \section satabs SATABS

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+\ingroup module_hidden`
`1`	`2`	`\page other_documentation Other Documentation`
`2`	`3`
`3`	`4`	`\section satabs SATABS`