added command to export library documentation
Authored by: ingo <> 2019-10-16
Parent: [9052a5]
Child: [fc9da4]