[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?