From 13bfbfa759230bb39e13ade1915f86c65de6db8d Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 20 Feb 2024 12:55:55 -0500 Subject: [PATCH] docs --- src/prometheus/tiny_httpd_prometheus.mli | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/src/prometheus/tiny_httpd_prometheus.mli b/src/prometheus/tiny_httpd_prometheus.mli index 799db5b2..b634943d 100644 --- a/src/prometheus/tiny_httpd_prometheus.mli +++ b/src/prometheus/tiny_httpd_prometheus.mli @@ -1,4 +1,11 @@ -(** Expose metrics over HTTP in the prometheus format *) +(** Expose metrics over HTTP in the prometheus format. + + This sub-library [tiny_httpd.prometheus] provides definitions + for counters, gauges, and histogram, and endpoints to expose + them for {{: https://prometheus.io/} Prometheus} to scrape them. + + @since 0.16 + *) type tags = (string * string) list