help-gnat
[Top][All Lists]
Advanced

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

Re: [patch] Add "install-pdf" target to makefiles.


From: Joseph S. Myers
Subject: Re: [patch] Add "install-pdf" target to makefiles.
Date: Tue, 27 Feb 2007 21:22:25 +0000 (UTC)

On Tue, 27 Feb 2007, Brooks Moses wrote:

> Your comment about the --with-pdfdir option is a good point, though: Would it
> be more appropriate to name the option just --pdfdir, so that it is consistent

I don't think you can do that; the only custom options you can add with 
autoconf are --enable and --with options.

-- 
Joseph S. Myers
address@hidden




reply via email to

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