7 Commits

Author	SHA1	Message	Date
Min RK	b859818a9c	switch generate-metrics to markdown	2022-12-07 09:02:09 +01:00
pre-commit-ci[bot]	865d5f7646	[pre-commit.ci] auto fixes from pre-commit.com hooks ... for more information, see https://pre-commit.ci	2022-11-16 14:53:12 +00:00
Erik Sundell	8c30724f17	monitoring docs: fixes following monitoring section relocation	2020-10-01 10:45:11 +02:00
Erik Sundell	e15b6ad52e	Makefile: let make html depend on generated metrics.rst	2020-10-01 10:13:31 +02:00
Rajat Goyal	b194135a0f	Generate list of prometheus metrics in reStructuredText rather than markdown	2020-09-30 23:52:29 +05:30
Rajat Goyal	8ee60ce0c7	Add metrics documentation generation step in CircleCI & RTD configs ... Also rename generated metrics documentation directory `_gen` from `gen`	2020-09-30 22:57:46 +05:30
Rajat Goyal	dcd520179c	Made changes in monitoring docs as per the feedback on PR review	2020-09-30 22:08:50 +05:30