Re: [Groff] [groff] 01/01: Ensure pre-built html (mom) docs are always installed

[Ingo Schwarze]

Hi Peter,

thanks for fixing mom HTML installation.
Your solution looks nice.

This is needed too, please push.

Right now, when i

  make distclean; ./configure; make; make dist

and then try to work from the resulting tarball, make install fails
because ./Makefile contains

  address@hidden@

Yours,
  Ingo


commit eafa2e6e0183f80581332cad1ac842e75df1ec99
Author: Ingo Schwarze <address@hidden>
Date:   Sun Oct 19 19:58:28 2014 +0200

    regenerate ./configure after e5ab613ed052900138e489207a2d60f482969aa3

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
 YACC
 DVIPRINT
@@ -6031,6 +6033,13 @@ fi
 $as_echo "$as_me: WARNING: Invalid \`--with-doc' argument: $i" >&2;}
     done
   fi
+  if test $docadd_html = yes; then
+   make_install_shipped_htmldoc=install_shipped_htmldoc
+   make_uninstall_shipped_htmldoc=uninstall_shipped_htmldoc
+  else
+   make_install_shipped_htmldoc=
+   make_uninstall_shipped_htmldoc=
+  fi
   if test $docadd_other = yes; then
     make_otherdoc=otherdoc
     make_install_otherdoc=install_otherdoc