[m-dev.] trivial diff: fix pointers between places that know library names
Warwick Harvey
wharvey at cs.monash.edu.au
Fri Oct 2 12:12:42 AEST 1998
Zoltan writes:
> Index: Mmake.common.in
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/Mmake.common.in,v
> retrieving revision 1.29
> diff -u -u -r1.29 Mmake.common.in
> --- Mmake.common.in 1998/09/29 05:09:55 1.29
> +++ Mmake.common.in 1998/10/01 06:58:23
> @@ -176,8 +176,8 @@
> # have just a ".init" suffix. (The trace library does not have a .init file,
> # since it contains no Mercury code.)
> #
> -# If you change these, you will also need to change script/ml.in
> -# and tools/bootcheck.
> +# If you change these, you will also need to change scripts/ml.in,
> +# scripts/c2init.in and and tools/bootcheck.
s/and and/and/
More information about the developers
mailing list