diff options
author | Peter Schaffter <peter@schaffter.ca> | 2014-10-19 17:33:28 -0400 |
---|---|---|
committer | Peter Schaffter <peter@schaffter.ca> | 2014-10-19 17:33:28 -0400 |
commit | 5c011f038148ae521254057179032e69c7c08217 (patch) | |
tree | 22cbd9e4c32c5254dd032cfd2713b1038e3ed9f8 | |
parent | e5ab613ed052900138e489207a2d60f482969aa3 (diff) | |
download | groff-git-5c011f038148ae521254057179032e69c7c08217.tar.gz |
Add shipped_htmldoc stuff to configure
-rwxr-xr-x | configure | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -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 |