duneproject mentions stale link
Running the duneproject scripts ends with:
------------------------------------------
For further details read the Dune Buildsystem-Howto:
http://www.dune-project.org/doc/buildsystem/buildsystem.pdfThat link is dead, but I don't know where the corresponding information is today.
The fix should be backported all the way to the 2.4 branch.