groff
[Top][All Lists]
Advanced

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

Re: [Groff] [groff] 01/02: Add shipped_htmldoc stuff to configure


From: Keith Marshall
Subject: Re: [Groff] [groff] 01/02: Add shipped_htmldoc stuff to configure
Date: Sun, 19 Oct 2014 23:29:45 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.1.2

Hi Peter,

On 19/10/14 22:36, Peter Schaffter wrote:
> PTPi pushed a commit to branch master
> in repository groff.
> 
> commit 5c011f038148ae521254057179032e69c7c08217
> Author: Peter Schaffter <address@hidden>
> Date:   Sun Oct 19 17:33:28 2014 -0400
> 
>     Add shipped_htmldoc stuff to configure

Did you edit configure directly?  It sure looks like it, because I don't
see any corresponding change in configure.ac, or -- where it's more
likely to be needed -- the m4 file while whence ...

> ---
>  configure |    9 +++++++++
>  1 files changed, 9 insertions(+), 0 deletions(-)
> 
> diff --git a/configure b/configure
> index 80d843d..61adbd6 100755
> --- a/configure
> +++ b/configure
> @@ -687,6 +687,8 @@ make_examples
>  make_uninstall_otherdoc
>  make_install_otherdoc
>  make_otherdoc
> +make_uninstall_shipped_htmldoc
> +make_install_shipped_htmldoc
>  doc_dist_target_ok
>  [...snip...]

...this surrounding content originates.  Since configure is a generated
file, such manual changes will vanish as soon as it is generated again;
(this is the principal reason why I don't believe that configure itself
belongs in the repository, in the first place).

-- 
Regards,
Keith.



reply via email to

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