From 853dbbbdd778f47679000a7b4410df9c8e49ad30 Mon Sep 17 00:00:00 2001 From: lukstafi Date: Sun, 5 Mar 2023 23:19:40 +0100 Subject: [PATCH] Link to generated documentation on github.io --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index f16a4f3..5e034a4 100644 --- a/README.md +++ b/README.md @@ -7,6 +7,8 @@ ppx_minidebug Take a look at [`ppx_debug`](https://github.com/dariusf/ppx_debug) which is significantly more powerful! +See also [the generated documentation](https://lukstafi.github.io/ppx_minidebug/). + ### `Format`-based traces Define a `Debug_runtime` using the `Format` functor. The helper functor `Debug_ch` opens a file for appending.