From d6b7840709288cd1fdd1d275986c4133856c5e2d Mon Sep 17 00:00:00 2001 From: dimitri staessens Date: Sun, 15 Oct 2017 21:56:26 +0200 Subject: doc: Add general documentation This adds user documentation for the Ouroboros User Manual in man sections 7 and 8. It consists of a general man page, a tutorial and a glossary. It also fixes and updates other manpages in the Ouroboros Programmer's Manual. --- doc/man/CMakeLists.txt | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'doc/man/CMakeLists.txt') diff --git a/doc/man/CMakeLists.txt b/doc/man/CMakeLists.txt index ba72b14b..e1d5c04a 100644 --- a/doc/man/CMakeLists.txt +++ b/doc/man/CMakeLists.txt @@ -18,6 +18,11 @@ set(MAN_NAMES fset_add.3 fset_del.3 fset_has.3 + ouroboros-glossary.7 + ouroboros-tutorial.7 + ouroboros.8 + irmd.8 + irm.8 ) macro(INSTALL_MAN __mans) -- cgit v1.2.3