Is the doc accurate? Can't I run it with dune?
please clarify
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 make
).
Please report or fix the doc issues that you've spotted.
Last updated: Oct 13 2024 at 01:02 UTC