diff options
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.in b/configure.in index bf3144bd440..8c600bb3e53 100644 --- a/configure.in +++ b/configure.in @@ -33,4 +33,5 @@ mono/metadata/Makefile mono/dis/Makefile mono/cil/Makefile mono/interpreter/Makefile +mono/doc/Makefile ]) |