mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-17 14:57:03 +00:00
scripts/mnl.in: Use MERCURY_NU_LIB_DIR as specified by the documentation, not MERCURY_LIB_DIR. Document the -d/--debug option. scripts/msc.in: Remove mention of MERCURY_SP_BUILTIN, since it wasn't used.