diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-10-15 21:56:26 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@ugent.be> | 2017-10-17 05:48:20 +0200 |
| commit | d6b7840709288cd1fdd1d275986c4133856c5e2d (patch) | |
| tree | 5b73c6426a9cdd3d1fd512ab12a39e5aa95c5208 /doc/man/irm.8 | |
| parent | de225326e624a97bf08363c0b47772053c68c063 (diff) | |
| download | ouroboros-d6b7840709288cd1fdd1d275986c4133856c5e2d.tar.gz ouroboros-d6b7840709288cd1fdd1d275986c4133856c5e2d.zip | |
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.
Diffstat (limited to 'doc/man/irm.8')
| -rw-r--r-- | doc/man/irm.8 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/man/irm.8 b/doc/man/irm.8 new file mode 100644 index 00000000..6ac4974b --- /dev/null +++ b/doc/man/irm.8 @@ -0,0 +1 @@ +.so ouroboros.8 |