diff options
author | sternenseemann <git@lukasepple.de> | 2020-05-19 00:13:10 +0200 |
---|---|---|
committer | sternenseemann <git@lukasepple.de> | 2020-05-19 00:20:31 +0200 |
commit | 1419c7b80dcc8c206a8189a3969debb65db9102c (patch) | |
tree | 4de861a26db8e7fdb4dcd8855c6b867d847e4491 | |
parent | 457e4ac32ca70ff028e3a8cbf15c99d141e0d879 (diff) |
install man pages
-rw-r--r-- | doc/dune | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/dune b/doc/dune new file mode 100644 index 0000000..13c6cab --- /dev/null +++ b/doc/dune @@ -0,0 +1,3 @@ +(install + (section man) + (files logbook.1 logbook-log.7 logbook-template.7)) |