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

[Peter Schaffter]

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
---
 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
 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