From 1a84c5a2366600f274c610117cef59642718bf69 Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Tue, 30 Oct 2018 23:46:56 +0100 Subject: oasis: add documentation target --- _oasis | 25 +++++++++++++++++-------- 1 file changed, 17 insertions(+), 8 deletions(-) (limited to '_oasis') diff --git a/_oasis b/_oasis index c8c8ad0..1d33f12 100644 --- a/_oasis +++ b/_oasis @@ -1,11 +1,12 @@ -OASISFormat: 0.4 -Name: sid -Version: 0 -Synopsis: non -Authors: phg -License: GPL-3 -BuildTools: ocamlbuild -Plugins: META (0.4), DevFiles (0.4) +OASISFormat: 0.4 +Name: sid +Version: 0 +Synopsis: non +Authors: phg +License: GPL-3 +BuildTools: ocamlbuild +Plugins: META (0.4), DevFiles (0.4) +AlphaFeatures: ocamlbuild_more_args Library "sid" Path: . @@ -36,3 +37,11 @@ Test "test_sidparse" TestTools: util/sidparse_test.sh Command: util/sidparse_test.sh +Document "sid_intf" + Type: ocamlbuild (0.4) + Buildtools: ocamldoc + Title: Module Sid + XOCamlbuildPath: . + XOCamlbuildExtraArgs: "-docflags '-colorize-code -short-functors -charset utf-8'" + XOCamlbuildLibraries: sid + -- cgit v1.2.3