diff --git a/jbuild b/jbuild new file mode 100644 index 0000000..092c012 --- /dev/null +++ b/jbuild @@ -0,0 +1,5 @@ +(jbuild_version 1) + +(install + ((section share) + (files (utoprc-dark utoprc-light)))) diff --git a/man/jbuild b/man/jbuild new file mode 100644 index 0000000..43df3e6 --- /dev/null +++ b/man/jbuild @@ -0,0 +1,5 @@ +(jbuild_version 1) + +(install + ((section man) + (files (utop.1 utop-full.1 utoprc.5))))