diff options
author | Marcos Henrich <marcos.henrich@xamarin.com> | 2015-02-18 22:22:39 +0300 |
---|---|---|
committer | Marcos Henrich <marcos.henrich@xamarin.com> | 2015-03-09 22:17:19 +0300 |
commit | 06a984fc8019f9f4c7214342f3f8502c5354d83f (patch) | |
tree | 3b2df867c258bffaf6f333ee450db7de64021de2 /man/Makefile.am | |
parent | 05fd9e873c0609634dc8698264d9b039adeb380a (diff) |
[mono-symbolicate] Added tool man page and script.
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 0610c017729..de2b6ac7c3f 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -56,6 +56,7 @@ man_MANS = \ xsd.1 \ mono-configuration-crypto.1 \ ccrewrite.1 \ - cccheck.1 + cccheck.1 \ + mono-symbolicate.1 EXTRA_DIST = $(man_MANS) |