[m-dev.] diff: handle missing info in doc/Mmakefile

[Fergus Henderson]

On 17-Nov-1999, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> doc/Mmakefile:
> 	Don't try to build mdb_doc if you don't have info.
> 	Instead output a nice warning message.
...
> +++ Mmakefile	1999/11/17 07:26:27
> @@ -33,16 +33,22 @@
>  endif
>  
>  ifeq ("$(MAKEINFO)","")
> -	INFO=
> +	INFOPAGES=
>  	INSTALL_INFO=
>  	MDB_DOC=
>  else
> -	INFO=info
> +	ifeq ("$(INFO)","")
> +		MDB_DOC=warn_no_mdb_doc
> +		INSTALL_MDB_DOC=

That code will cause a problem with source tar distributions.
If mdb_doc is already up-to-date, as it should be in the
source distributions, then the mdb documentation should
be installed, even if you don't have the tools to recreate it.
The current code and your modification of it both have the
problem that they don't install the mdb documentation if
you don't have the tools to recreate it, even if it doesn't
need to be recreated.

The same problem applies for the other types of documentation too.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------