commit | b5cfb263c1b189170c9909c85d65ca3e779c7a47 | [log] [tgz] |
---|---|---|
author | Emmanuele Bassi <ebassi@gnome.org> | Fri Jul 23 22:34:29 2021 +0100 |
committer | Emmanuele Bassi <ebassi@gnome.org> | Fri Jul 23 22:34:29 2021 +0100 |
tree | 5514aa36504bf45da3040e340e20d8f87ea875e5 | |
parent | ec6e3efb06d7b15cf5a2328fabd3845acea4c815 [diff] |
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