maul.esel

- @bahnwaerter had some ideas on how to integrate the build in maven. Maybe we can discuss them next week? - I don't mind using jenkins, but I'll probably need...

> it looks like the web interface does not work as well From the screenshot, it looks like the problem may be that no tool is selected -- the URL...

@bahnwaerter and I looked into the automatic build: - [ ] We got maven to build the site using the `maven-exec-plugin`. @bahnwaerter still wants to make some changes (e.g. make...

Let's try and revive this. I've looked through the changes again, added some more documentation, updated the dependencies, and migrated all recent changes to the website. From my side, this...

Thanks for trying it out @bahnwaerter! I've added the missing platform to `Gemfile.lock`. My understanding is that, if you reset it to the committed version and try again, it should...

OK, I've deleted the `code_examples` folder and re-purposed existing scripts to copy the examples during the build process. I've also simplified things: to build the website from scratch (including settings,...

The relative path to the `examples/` folder seems to have been off by one level, should be fixed now.

- [x] Tool pages should link to web-interfaces

Maybe this can be turned in a CHM instead?

I didn't think of this format, but it is good! Maybe we can look out for other formats, too, and provide multiple versions later... CSS support is not definitely necessary,...