diff options
author | Alex Rønne Petersen <alpeters@microsoft.com> | 2017-11-22 14:31:57 +0300 |
---|---|---|
committer | Alex Rønne Petersen <alpeters@microsoft.com> | 2017-11-23 16:16:03 +0300 |
commit | c7f9875f279990b37bca5678fe0a56eaa4903b9f (patch) | |
tree | 611b65eba20ac63d0aa8ce4e3a6595567e8dcf7b /man/Makefile.am | |
parent | cbe30987b038a6a253f50a2d8aa1f29980ab8c17 (diff) |
[man] Rewrite the profiler-related man pages.
* Separate profiler module documentation into a new mono-profilers(1) page.
* Add documentation for the aot and coverage profilers.
* Rewrite the mprof-report(1) page to only talk about mprof-report itself.
* Rewrite and update the profiler-related sections of mono(1).
* Conform to man page formatting conventions.
Diffstat (limited to 'man/Makefile.am')
-rw-r--r-- | man/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index ef449a4d594..e59e357db5e 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -58,6 +58,7 @@ man_MANS = \ mono-configuration-crypto.1 \ ccrewrite.1 \ cccheck.1 \ - mono-symbolicate.1 + mono-symbolicate.1 \ + mono-profilers.1 EXTRA_DIST = $(man_MANS) |