diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/configure.in b/configure.in index be356b0d9..85ed782d8 100644 --- a/configure.in +++ b/configure.in @@ -232,17 +232,6 @@ 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([ |