[m-rev.] for review: keep the invocation automatically up-to-date

[Julien Fischer]

On Sat, 19 Jul 2025 at 07:43, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
> The main issue I am seeking feedback on is that after this diff,
> making the user guide requires compiler/mercury_compile to be
> up to date. The other rules of doc/Mmakefile already depend
> on the contents of the compiler directory, but they do so only for
> .m files, which do not need to be built.

There is one case where this is a problem, namely building the source
distribution.
In that case mercury_compile will not exist when we build the doc directory.

make[1]: Leaving directory
'/home/jfischer/mercury-builds/rotd-builds/builddir/mercury-srcdist-rotd-2025-07-20/grade_lib'
cd doc && PATH=../scripts:../util:../mfilterjavac:../../mfilterjavac:$PATH
MMAKE_VPATH=. MMAKE_DIR=../scripts DESTDIR= ../scripts/mmake
EXTRA_MCFLAGS='-O5 --opt-space' -j4 info html dvi mdb_doc
gmake[1]: Entering directory
'/home/jfischer/mercury-builds/rotd-builds/builddir/mercury-srcdist-rotd-2025-07-20/doc'
sed -e "s/<VERSION>/rotd-2025-07-20/g" < mercury.info.in > mercury.info
sed -e "s/<VERSION>/rotd-2025-07-20/g" < reference_manual.texi >
reference_manual.texi_pp
gmake[1]: *** No rule to make target '../compiler/mercury_compile',
needed by 'ug_invocation.texi_date'.  Stop.
gmake[1]: *** Waiting for unfinished jobs....

Julien.