diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-10-17 08:12:05 +0000 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-10-17 08:12:05 +0000 |
| commit | 5b0c18875e50a154981b08307b2d502dd7d4a4dc (patch) | |
| tree | 5b73c6426a9cdd3d1fd512ab12a39e5aa95c5208 /doc/man/CMakeLists.txt | |
| parent | de225326e624a97bf08363c0b47772053c68c063 (diff) | |
| parent | d6b7840709288cd1fdd1d275986c4133856c5e2d (diff) | |
| download | ouroboros-5b0c18875e50a154981b08307b2d502dd7d4a4dc.tar.gz ouroboros-5b0c18875e50a154981b08307b2d502dd7d4a4dc.zip | |
Merged in dstaesse/ouroboros/be-doc-ouroboros (pull request #629)
doc: Add general documentation
Diffstat (limited to 'doc/man/CMakeLists.txt')
| -rw-r--r-- | doc/man/CMakeLists.txt | 5 |
1 files changed, 5 insertions, 0 deletions
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) |