[m-rev.] diff: build the man page for mtc

[Julien Fischer]

Build the man page for mtc.

docs/Mmakefile:
     As above.

scripts/mtc:
     Escape double quotes in the usage message.

Julien.

diff --git a/doc/Mmakefile b/doc/Mmakefile
index 7f955c0..d3f42fc 100644
--- a/doc/Mmakefile
+++ b/doc/Mmakefile
@@ -21,7 +21,7 @@ include $(MERCURY_DIR)/Mmake.common
  # This variable specifies which programs to create man pages for.

  MANPAGE_PROGS = c2init mmc mgnuc ml mmake mdb mprof \
-		mprof_merge_runs mtags mercury_config
+		mprof_merge_runs mtags mtc mercury_config

  mmc.1: ../compiler/handle_options.m ../compiler/options.m

diff --git a/scripts/mtc b/scripts/mtc
index 9ffc0e8..775fd0b 100755
--- a/scripts/mtc
+++ b/scripts/mtc
@@ -53,7 +53,7 @@ Options:

  If neither the -o nor the -s option is given, then the trace counts are put
  into a file whose name is automatically generated. This name will start with
-the prefix ".mercury_trace_counts", followed by a mangled version of the
+the prefix \".mercury_trace_counts\", followed by a mangled version of the
  name of the executable, and then the process id.

  The -o and -s options are mutually exclusive.