Argh! I really hate this konqueror of KDE! With putting the pdf and html documentation into EXTRA_DIST everything works fine. It's just this mean konqueror file browser which does not show the archive properly. Sorry to have disturbed the list with this problem.
greetings, Stefan
