Merge pull request #2408 from tastywheattasteslikechicken/MoreInterfaceSupport

[mono.git] / man / Makefile.am

diff --git a/man/Makefile.am b/man/Makefile.am
index 0610c017729fcafd2c99e4adf214e0521bd91fab..0c8b29892ff5f582e121af6d36c300073815cdb5 100644 (file)
--- a/man/Makefile.am
+++ b/man/Makefile.am
@@ -2,6 +2,7 @@ man_MANS = \
        al.1                  \
        cert2spc.1            \
        certmgr.1             \
+       cert-sync.1           \
        chktrust.1            \
        cilc.1                \
        crlupdate.1           \
@@ -56,6 +57,7 @@ man_MANS = \
        xsd.1                 \
        mono-configuration-crypto.1 \
        ccrewrite.1                     \
-       cccheck.1
+       cccheck.1                       \
+       mono-symbolicate.1
 
 EXTRA_DIST = $(man_MANS)