Setup installation of utoprcs and man pages

2017-04-04 12:44:43 +01:00 · 2017-04-04 12:44:43 +01:00 · 8954a2e908
parent e8723c0b9b
commit 8954a2e908
2 changed files with 10 additions and 0 deletions
--- a/5
+++ b/5
@ -0,0 +1,5 @@
+(jbuild_version 1)
+
+(install
+ ((section share)
+  (files (utoprc-dark utoprc-light))))
--- a/man/jbuild
+++ b/man/jbuild
@ -0,0 +1,5 @@
+(jbuild_version 1)
+
+(install
+ ((section man)
+  (files (utop.1 utop-full.1 utoprc.5))))