Generate devhelp2 index file
The devhelp2 format was introduced in 2005, and the devhelp format was deprecated in 2017.
Fixes: #295 (closed)
The devhelp2 format was introduced in 2005, and the devhelp format was deprecated in 2017.
Fixes: #295 (closed)