mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-19 07:45:09 +00:00
Fix a typo in a comment: s/dubdirectory/subdirectory/.
Estimated hours taken: 0.05 tools/makebatch: Fix a typo in a comment: s/dubdirectory/subdirectory/.
This commit is contained in:
@@ -2,7 +2,7 @@
|
||||
#
|
||||
# A program to prepare batches of versions of the compiler.
|
||||
#
|
||||
# The control and output files are all in the dubdirectory batch.
|
||||
# The control and output files are all in the subdirectory batch.
|
||||
# The control files are $batch.MCFLAGS and possibly $batch.CFLAGS
|
||||
# and/or $batch.GRADE, where $batch is the last argument of makebatch.
|
||||
# $batch.CFLAGS and $batch.GRADE are consulted if they exist.
|
||||
|
||||
Reference in New Issue
Block a user