Description
There are a couple of scripts that seem to be dead code, e.g. ocamlapplet.bash
and link_blog_doc_ext.sh
. I propose that someone goes through all scripts in the script/
folder and finds and deletes the ones that don't have an impact anymore.
How
There are different ways to check if a script still has an impact (on the build). One option would be to build the page as is and save the result, then remove the script and build the page again, and then make a recursive diff on the two results.
Watch out
In the first run, you might wrongly detect scripts that are meant for development as dead code. Have a look if the scripts you detect are used for development.