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
make_install_shipped_htmldoc=@make_install_shipped_htmldoc@
Yours,
Ingo
commit eafa2e6e0183f80581332cad1ac842e75df1ec99
Author: Ingo Schwarze <schwa...@openbsd.org>
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
