Juergen Spitzmueller cb25603ae1 Set makeindex as index processor in the docs
Prevent that another processor (such as xindy) is used when set in prefs.

xindy does not play well with hyperref.

Fixes #11708
2019-12-14 09:48:33 +01:00
..
2019-08-13 12:18:50 +02:00