|
From: | Olivier Fourdan |
Subject: | Re: [Libunwind-devel] [PATCH] Fix build from scratch |
Date: | Tue, 02 Dec 2014 17:18:33 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.2.0 |
Hi Arun, On 02/12/14 16:48, Arun Sharma wrote:
latex2man is not strictly necessary, since we include the pre-generated man files. The main issue is there doesn't seem to be a good way to enforce that the timestamps on the *.man files are newer than *.tex files using git or other commonly used revision control systems. A simple workaround is: touch doc/*.man.
Thing is, there should be no need to enforce timetamps to get a successful build out of the box.
One of the purpose of using autoconf is to ensure that all required dependencies (including tools) are available.
So either you should consider the man pages as generated files (which, indeed, they are) and make latex2man required, or else make latex2man optional using a configure option (that's what my proposed patch does).
Cheers, Olivier
[Prev in Thread] | Current Thread | [Next in Thread] |