From 4043681da9bd8c8bd9332e2adb0e1eff2e162320 Mon Sep 17 00:00:00 2001 From: Peter Schrammel Date: Thu, 22 Mar 2018 23:19:52 +0000 Subject: [PATCH 1/2] Add online documentation to README --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index df58e355d0b..7ebf1bbd788 100644 --- a/README.md +++ b/README.md @@ -3,6 +3,8 @@ [CProver Wiki](http://www.cprover.org/wiki) +[CProver Documentation](http://cprover.diffblue.com) + About ===== From d7efdd1ef5e6d53c80939b38529155fcac93ae1c Mon Sep 17 00:00:00 2001 From: Peter Schrammel Date: Thu, 22 Mar 2018 23:28:23 +0000 Subject: [PATCH 2/2] Improve docs TOC structure --- doc/architectural/cprover-architecture-overview.md | 4 ++-- doc/satabs-user-manual.md | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/doc/architectural/cprover-architecture-overview.md b/doc/architectural/cprover-architecture-overview.md index 457cba51e16..9fcab9934ef 100644 --- 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 index 763f52a7398..3410b138c62 100644 --- 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