diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 2e3277a319..51983bad42 100644 --- a/configure.in +++ b/configure.in @@ -742,4 +742,14 @@ echo " Dot Locking: $msg_dot File Locking: $msg_file Crypto support: $msg_crypto + Gtk-doc: $enable_gtk_doc" + +if test x$enable_gtk_doc = xyes; then +echo " + Programming documentation files will be built automatically. +" +else +echo " + Programming documentation files will not be built. " +fi |