tree 5514aa36504bf45da3040e340e20d8f87ea875e5
parent ec6e3efb06d7b15cf5a2328fabd3845acea4c815
author Emmanuele Bassi <ebassi@gnome.org> 1627076069 +0100
committer Emmanuele Bassi <ebassi@gnome.org> 1627076069 +0100

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