diff options
author | Miguel de Icaza <miguel@gnome.org> | 2001-07-16 04:49:19 +0400 |
---|---|---|
committer | Miguel de Icaza <miguel@gnome.org> | 2001-07-16 04:49:19 +0400 |
commit | 57def253ae98193d9e839b2d18ae14daa4e8d1bb (patch) | |
tree | b17b70a01d9b39f884820030326bb218870651e7 /configure.in | |
parent | 3bc2a24a3aeddcc5f011d18c39be9f28c1e495be (diff) |
Build doc directory
svn path=/trunk/mono/; revision=168
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 ]) |