[m-rev.] diff: fix Mantis bug #558: corrupt mprof.1 manual page

[Julien Fischer]

Fix Mantis bug #558.

Mmakefile:
     Ensure that the mercury_{compile,profile} executables exist
     *before* attempting to build the manual pages.

doc/Mmakefile:
     Rebuild the mprof.1 manual page if the profiler options.m
     file changes.

Julien.

diff --git a/Mmakefile b/Mmakefile
index 506fa24..231b9ed 100644
--- a/Mmakefile
+++ b/Mmakefile
@@ -344,7 +344,7 @@ compiler: dep_compiler scripts util boehm_gc runtime library \
  	+cd compiler && $(SUBDIR_MMAKE)

  .PHONY: doc
-doc: 	scripts util
+doc: scripts util compiler profiler
  	+cd doc && $(SUBDIR_MMAKE)

  .PHONY: slice
diff --git a/doc/Mmakefile b/doc/Mmakefile
index 079395a..491f049 100644
--- a/doc/Mmakefile
+++ b/doc/Mmakefile
@@ -2,6 +2,7 @@
  # vim: ts=8 sw=8 noexpandtab ft=make
  #-----------------------------------------------------------------------------#
  # Copyright (C) 1996-2007, 2009-2012 The University of Melbourne.
+# Copyright (C) 2013-2017, 2019-2020, 2022 The Mercury team.
  # This file may only be copied under the terms of the GNU General
  # Public License - see the file COPYING in the Mercury distribution.
  #-----------------------------------------------------------------------------#
@@ -24,6 +25,8 @@ MANPAGE_PROGS = c2init mmc mgnuc ml mmake mdb mprof \

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

+mprof.1: ../profiler/options.m
+
  # This variable specifies the (top-level) TexInfo files.
  # The mapping of these names to `.info' file names is not regular,
  # so we also need to specify the names of the `.info' files.