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 <pe...@schaffter.ca> > 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.
