Andreas Rumpf e9268b52d9 with this patch :idx: can be used for the index generation for LaTeX (#18946)		2021-10-03 07:21:08 +02:00
..
docutils	with this patch :idx: can be used for the index generation for LaTeX (#18946)	2021-10-03 07:21:08 +02:00