Is the doc accurate? Can't I run it with dune?
No, the doc is outdated. Gaëtan has made it so that
make -f Makefile.dune also imports the same doc_gram targets as
Makefile.make (though they still rely on
Please report or fix the doc issues that you've spotted.
Last updated: Mar 02 2024 at 14:01 UTC