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

Tyson Dowd trd at cs.mu.OZ.AU
Wed Nov 24 13:28:47 AEDT 1999


On 24-Nov-1999, Tyson Richard DOWD <trd at cs.mu.OZ.AU> wrote:
> On 17-Nov-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > 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.
> 
> Fair enough.  I think this fix is a better one and doesn't suffer from
> this problem.
> 
> Although we can't install the .info files if install-info is not
> present.

This is already conditionalized on the existance of install-info,
and it will just copy the info files otherwise.  So I will remove the
references to SHOULD_INSTALL_INFO and commit this.

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't eveyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list