diff options
| author | Miguel de Icaza <miguel@gnome.org> | 2001-07-14 22:52:08 +0400 |
|---|---|---|
| committer | Miguel de Icaza <miguel@gnome.org> | 2001-07-14 22:52:08 +0400 |
| commit | 9b614b0ceeed7399b19370644170e6569e966fae (patch) | |
| tree | e531c69c9042f4189d41f8f6c71349bbd2b990fa /configure.in | |
| parent | 1c98a14e9431d2dd6018b0a54854dcddd417d8f2 (diff) | |
Done!
svn path=/trunk/mono/; revision=131
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..357572e2315 100644 --- a/configure.in +++ b/configure.in @@ -33,4 +33,5 @@ mono/metadata/Makefile mono/dis/Makefile mono/cil/Makefile mono/interpreter/Makefile +doc/Makefile ]) |