Error while generating Index in postinstall

Tried to install kdevelop3

Tried to install kdevelop3. I said "Yes" to create a global documentation index. Before that i had installed kdevelop3-doc. Then the Installation failed with the following error:

jens@toshiba:/var/lib/kdevelop3$ sudo apt-get install -f
Paketlisten werden gelesen... Fertig
Abhängigkeitsbaum wird aufgebaut... Fertig
0 aktualisiert, 0 neu installiert, 0 zu entfernen und 0 nicht aktualisiert.
1 nicht vollständig installiert oder entfernt.
Es müssen 0B Archive geholt werden.
Nach dem Auspacken werden 0B Plattenplatz zusätzlich benutzt.
Richte kdevelop3 ein (3.2.0-0ubuntu1) ...
Building the global documentation index.
This may take a while.
dpkg: Fehler beim Bearbeiten von kdevelop3 (--configure):
 Unterprozess post-installation script gab den Fehlerwert 1 zurück
Fehler traten auf beim Bearbeiten von:
 kdevelop3
E: Sub-process /usr/bin/dpkg returned an error code (1)

Bug has been dealt with in Debian with #234753. Resolution was to grade up to htdig3.2, which is right now not available.

And there is also a second error: One Path in the script /usr/share/kdevelop3/update_doc_index.sh is not right.

Instead of
KDEVELOPDOC_DIR="/usr/share/doc/kde/HTML/en/kdevelop"

it should be
KDEVELOPDOC_DIR="/usr/share/doc/kde/HTML/en/kdevelop3"

Regards

Jens