diff options
author | Zoltan Varga <vargaz@gmail.com> | 2014-12-01 12:45:19 +0300 |
---|---|---|
committer | Zoltan Varga <vargaz@gmail.com> | 2014-12-01 12:45:19 +0300 |
commit | ded052883be4eb185b6b2a66fe24520bb05261f2 (patch) | |
tree | e3d912b36d1a048cd2a68e2ad5ca62cc99f100ac /man/mono.1 | |
parent | 92388f7d09b0aeae25271229d438d6e065310fd9 (diff) |
Fix a layout problem in the mono man page.
Diffstat (limited to 'man/mono.1')
-rw-r--r-- | man/mono.1 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man/mono.1 b/man/mono.1 index 784c078d381..8eaaed6343b 100644 --- a/man/mono.1 +++ b/man/mono.1 @@ -119,6 +119,7 @@ If specified, forces the generated AOT files to be bound to the runtime version of the compiling Mono. This will prevent the AOT files from being consumed by a different Mono runtime. .I full +.Sp This is currently an experimental feature as it is not complete. This instructs Mono to precompile code that has historically not been precompiled with AOT. |