Commit d13606881f457fdb77b95350241e29e537bfd6f2

Stefan Sperling 2020-01-28T09:31:29

fix problem with 'make web-install' not finding some of the files