Commit 3ba59b934927623a1fd591e9f2ea1a8d58dfc3c2

Emmanuele Bassi 2021-07-23T22:34:29

Generate devhelp2 index file The devhelp2 format was introduced in 2005, and the devhelp format was deprecated in 2017. Fixes: https://gitlab.gnome.org/GNOME/libxml2/-/issues/295