[question] about prometheus client 1.x doc about micrometer

[jonatan-ivanov]

Thanks for the issue.

But I found micrometer-registry-prometheus is not include io.prometheus:prometheus-metrics-exporter-httpserver.

This is why the docs says exactly which dependency and class you need.
Micrometer does not depend on io.prometheus:prometheus-metrics-exporter-httpserver because users can make the Prometheus output public in various ways. They probably use a framework which takes care about this concern. People who still need that dependency, can add it.

So the doc could be

I think I would phrase this as "which you can find in io.prometheus:prometheus-metrics-exporter-httpserver (you need to add it as a dependency if you want to use it)...".
Do you want to open a PR? You can find the file here: prometheus.adoc. If so, please open it against the 1.13.x branch.

Meanwhile I found i have to align the version bewteen micrometer-registry-prometheus and prometheus-metrics-exporter-httpserver.

This is something that we can fix on the Prometheus Client side. If the Prometheus Client could publish a BOM, Micrometer could use that so when you bring in a Prometheus dependency, you don't need to define it's version since it is already defined in the BOM.
(You can open an issue here if you want.)