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

[Keith Marshall]

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.