Add warning to manual concerning builds without testtools
Building without dune-testtools leads to missing parts in the user manual and now raises a warning on the index page.
Showing
Please register or sign in to comment
Building without dune-testtools leads to missing parts in the user manual and now raises a warning on the index page.