zip html docu correctly (it wasn't zipped, as the recursive flag was missing)
Authored by: ingo <> 2019-11-23
Parent: [e41af9]
Child: [377479]