Veeck 8c3cb1c5dd Issue 2343: Fix github.io page (#2443) ...

* Add script to prepare and deploy gh-pages

* Cleanup other script names

* Only copy neccessary files

* More copying and cleanups

* Switch to gulp

* Update dependencies

* Make that gulp flow actually work

* Update README

2019-06-25 00:11:16 +02:00

..

generate-gh-pages.sh

Issue 2343: Fix github.io page (#2443)

2019-06-25 00:11:16 +02:00

generate-license.js

Issue 2343: Fix github.io page (#2443)

2019-06-25 00:11:16 +02:00