this requires an update of debian/pyhtml2devhelp.py, as found in the sources. a patch would be welcome.
this requires an update of debian/ pyhtml2devhelp. py, as found in the sources. a patch would be welcome.