X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/36e42cb86393a7b9e333ecd7edfbdd16c7d9a1ac..3196000d8e29e14665f43ffd74460b2e6d592250:/src/main.sig?ds=inline diff --git a/src/main.sig b/src/main.sig index 69abb82..d4467eb 100644 --- a/src/main.sig +++ b/src/main.sig @@ -34,4 +34,6 @@ signature MAIN = sig val service : unit -> unit val slave : unit -> unit + val autodocBasis : string -> unit + end