summaryrefslogtreecommitdiff
path: root/doc/man/irmd.8
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@ugent.be>2017-10-15 21:56:26 +0200
committerdimitri staessens <dimitri.staessens@ugent.be>2017-10-17 05:48:20 +0200
commitd6b7840709288cd1fdd1d275986c4133856c5e2d (patch)
tree5b73c6426a9cdd3d1fd512ab12a39e5aa95c5208 /doc/man/irmd.8
parentde225326e624a97bf08363c0b47772053c68c063 (diff)
downloadouroboros-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/irmd.8')
-rw-r--r--doc/man/irmd.81
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/man/irmd.8 b/doc/man/irmd.8
new file mode 100644
index 00000000..6ac4974b
--- /dev/null
+++ b/doc/man/irmd.8
@@ -0,0 +1 @@
+.so ouroboros.8