diff options
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | configure.ac | 13 | ||||
-rw-r--r-- | doc/Makefile.am | 8 |
3 files changed, 22 insertions, 0 deletions
@@ -23,6 +23,7 @@ stamp-* # Generated code /doc/sciteco.[17] +/doc/sciteco.[17].html /doc/sciteco.7.in /doc/Doxyfile /doc/doxygen 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]]), diff --git a/doc/Makefile.am b/doc/Makefile.am index 7ed5a5c..230949f 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -15,6 +15,14 @@ EXTRA_DIST += generate-docs.tes $(BOOTSTRAP_SCITECO) -m @srcdir@/generate-docs.tes \ $@ $< $(SOURCES) +if BUILD_HTMLMAN +html_DATA = sciteco.1.html sciteco.7.html +CLEANFILES += $(html_DATA) +endif + +%.html : % + @GROFF@ -Thtml -man $< >$@ + # # Doxygen processing (do not install or distribute) # |