It would be useful to be able to try out changes to the website locally. For this purpose it is necessary to combine the information from the Fast Downward repository and the downward-markdown repository in one place and install the necessary dependencies.
I implemented such a script in the misc folder of the Fast Downward repository and Travis did a test run.
Here is the pull request: https://github.com/aibasel/downward/pull/268
|