diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2013-02-26 17:22:41 +0100 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2013-03-16 18:07:30 +0100 |
| commit | 4c921b3be2ed973aa971f30e70f7d9658407c825 (patch) | |
| tree | a8276bbe720400eb1c6fbfa6ac97641213c13b11 /configure.ac | |
| parent | d619d66b47a4788bf3ac9fcb3faf08a8def98a95 (diff) | |
| download | sciteco-4c921b3be2ed973aa971f30e70f7d9658407c825.tar.gz | |
added option to build manuals as HTML using Groff
* will be useful for Windows builds since Windows users usally do not have
a man-page formatter/reader
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 4ad2a28..7756500 100644 --- a/configure.ac +++ b/configure.ac @@ -36,6 +36,9 @@ if [[ x$READLINK = x ]]; then AC_MSG_ERROR([Required tool readlink not found!]) fi +# not necessarily required (depends on --enable-html-manual) +AC_CHECK_PROG(GROFF, groff, groff) + # not necessarily required (depends on --enable-developer-doc) AC_CHECK_PROG(DOXYGEN, doxygen, doxygen) AC_CHECK_PROG(DOT, dot, dot) @@ -172,6 +175,16 @@ AC_ARG_WITH(teco-integer, [TECO_INTEGER=$withval], [TECO_INTEGER=64]) AC_DEFINE_UNQUOTED(TECO_INTEGER, $TECO_INTEGER, [Storage size of TECO integers]) +AC_ARG_ENABLE(html-manual, + AS_HELP_STRING([--enable-html-manual], + [Generate and install HTML manuals using Groff [default=no]]), + [html_man=$enableval], [html_man=no]) +if [[ $html_man = yes -a x$GROFF = x ]]; then + AC_MSG_ERROR([Enabled generating HTML manuals, but Groff cannot be found! + Try --disable-html-manual.]) +fi +AM_CONDITIONAL(BUILD_HTMLMAN, [test $html_man = yes]) + AC_ARG_ENABLE(developer-doc, AS_HELP_STRING([--enable-developer-doc], [Generate developer documentation using Doxygen [default=no]]), |