Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlex Rønne Petersen <alpeters@microsoft.com>2017-11-22 14:31:57 +0300
committerAlex Rønne Petersen <alpeters@microsoft.com>2017-11-23 16:16:03 +0300
commitc7f9875f279990b37bca5678fe0a56eaa4903b9f (patch)
tree611b65eba20ac63d0aa8ce4e3a6595567e8dcf7b /man/Makefile.am
parentcbe30987b038a6a253f50a2d8aa1f29980ab8c17 (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.am3
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)