[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: What is the correct way of handling generated docs?

From: Eli Zaretskii
Subject: Re: What is the correct way of handling generated docs?
Date: Sat, 29 Dec 2001 22:36:22 +0200

> From: Bruce Korb <address@hidden>
> Date: Sat, 29 Dec 2001 02:25:35 -0800
> 1.  A package builder may not have "makeinfo"
> 2.  "make distcheck" assumes that it should never need to
>     rebuild the .info, even if it reconstructs the .texi.
>     (So it errors-out by failing to ``rm'' the .info file.)
> The solution is non-obvious to me, but necessary.  (Removing the .texi
> predecessor dependencies works, but is rather tacky and doesn't really
> work.)
> Methinks the way this should work is that if the .texi is a derived
> file, then "distcheck" should be okay with rebuilding the .info, even
> though the .info is distributed.  Furthermore, if makeinfo is not
> available, then the "missing --run makeinfo" script should print
> "oops, sorry", `touch' the output, and exit with status 0.  Derivability
> can be determined by looking for .texi build rules, or by an extra
> magic macro name if that makes life easier.

Can't you simply write a Make rule that will produce .info file from
whatever your source file is?  If the .texi file is an intermediate
file, there should be no reason to keep it; simply let Make delete it
automatically when it's done.

Am I missing something?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]