86528b09b9 | ||
---|---|---|
.. | ||
.gitignore | ||
Makefile | ||
README.md | ||
check-stdlib-modules | ||
cross_reference_checker.ml |
README.md
These tests have for objective to test the consistency between the manual and the rest of the compiler sources:
-
cross_reference_checker.ml
checks that reference to the manual from the compiler sources are still accurate. -
check-stdlib-modules
checks that all stdlib modules are linked from the main entry of the stdlib in the manual:manual/manual/library/stdlib-blurb.etex