monitoring docs: fixes following monitoring section relocation

.gitignore

@@ -27,4 +27,4 @@ htmlcov
 .vscode/
 .pytest_cache
 pip-wheel-metadata
-docs/source/monitoring/_gen/
+docs/source/reference/metrics.rst

docs/Makefile

@@ -61,9 +61,9 @@ rest-api: source/_static/rest-api/index.html
 source/_static/rest-api/index.html: rest-api.yml node_modules
 	npm run rest-api
 
-metrics: source/monitoring/_gen/metrics.rst
+metrics: source/reference/metrics.rst
 
-source/monitoring/_gen/metrics.rst: generate-metrics.py
+source/reference/metrics.rst: generate-metrics.py
 	python3 generate-metrics.py
 
 html: rest-api metrics

docs/generate-metrics.py

@@ -30,7 +30,7 @@ class Generator:
         return table_rows
 
     def prometheus_metrics(self):
-        generated_directory = f"{HERE}/source/monitoring/_gen"
+        generated_directory = f"{HERE}/source/reference"
         if not os.path.exists(generated_directory):
             os.makedirs(generated_directory)
 

docs/source/index.rst

@@ -84,14 +84,6 @@ Getting Started
 
    getting-started/index
 
-Monitoring
--------------------
-
-.. toctree::
-   :maxdepth: 2
-
-   monitoring/index
-
 Technical Reference
 -------------------
 

docs/source/reference/index.rst

@@ -16,6 +16,7 @@ what happens under-the-hood when you deploy and configure your JupyterHub.
    proxy
    separate-proxy
    rest
+   monitoring
    database
    templates
    ../events/index

docs/source/reference/monitoring.rst

@@ -1,5 +1,5 @@
 Monitoring
-===================
+==========
 
 This section covers details on monitoring the state of your JupyterHub installation.
 
@@ -17,4 +17,4 @@ tool like `Grafana <https://grafana.com/docs/grafana/latest/getting-started/what
 .. toctree::
    :maxdepth: 2
 
-   _gen/metrics
+   metrics