Rémi Verschelde 76440fe1aa doc: Fix relative paths in `make_rst.py` generated comment ... Follow-up to #63495. (cherry picked from commit f66527ddc3)		2022-07-27 15:29:28 +02:00
..
doc_merge.py	…
doc_status.py	…
make_rst.py	doc: Fix relative paths in `make_rst.py` generated comment	2022-07-27 15:29:28 +02:00