Build system howto is missing on current website
http://www.dune-project.org/doc/buildsystem/buildsystem.pdf gives a 404 Error. We should either fix it or remove the link on https://dune-project.org/doc/installation-old/
http://www.dune-project.org/doc/buildsystem/buildsystem.pdf gives a 404 Error. We should either fix it or remove the link on https://dune-project.org/doc/installation-old/