Merge pull request diffblue#1964 from peterschrammel/documentation/online-docs-link

peterschrammel · web-flow · commit eb1ac7bb5f5c · 2018-03-23T14:18:01.000Z
Add online documentation link to README
diff --git a/README.md b/README.md
@@ -3,6 +3,8 @@
 
 [CProver Wiki](http://www.cprover.org/wiki)
 
+[CProver Documentation](http://cprover.diffblue.com)
+
 About
 =====
 
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`