Docs hotfix#896

Merged

maurei merged 2 commits intomasterfrom

Nov 27, 2020

Commits on Nov 26, 2020

adjust index.html, fix generate example script
maurei
committed

Commits on Nov 27, 2020

whitespace; fix variable name
Bart Koelman
committed