diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/configure.in b/configure.in index a6465d922..5ad1b4737 100644 --- a/configure.in +++ b/configure.in @@ -220,6 +220,19 @@ AM_GLIB_GNU_GETTEXT dnl uninstalled share dir to search data AC_DEFINE_UNQUOTED(SHARE_UNINSTALLED_DIR,"`pwd`/data",[path to source data dir]) +dnl Docs +AC_ARG_WITH(html-dir, [ --with-html-dir=PATH path to installed docs ]) + +if test "x$with_html_dir" = "x" ; then + HTML_DIR='${datadir}/gtk-doc/html' +else + HTML_DIR=$with_html_dir +fi + +AC_SUBST(HTML_DIR) + +GTK_DOC_CHECK([1.0]) + AC_OUTPUT([ Makefile data/Makefile @@ -227,6 +240,8 @@ data/epiphany-1.0.pc data/glade/Makefile data/art/Makefile data/ui/Makefile +doc/Makefile +doc/reference/Makefile lib/Makefile lib/egg/Makefile lib/widgets/Makefile |