diff options
| -rw-r--r-- | configure.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 16071df499..54fa57c40e 100644 --- a/configure.in +++ b/configure.in @@ -1630,6 +1630,7 @@ if test "$install_doc" != no; then RDOCTARGET="rdoc" else RDOCTARGET="nodoc" + CAPITARGET="nodoc" fi AC_SUBST(RDOCTARGET) |
