Added target

diff --git a/mcs/tools/monodoc/Makefile b/mcs/tools/monodoc/Makefile
index 700a975405bab740c709b3ce974b3d5d627996b8..e2fc28c259148bd8866dec25920f9182c76489fb 100644 (file)
--- a/mcs/tools/monodoc/Makefile
+++ b/mcs/tools/monodoc/Makefile
@@ -158,3 +158,6 @@ clean-local: cleanup
 cleanup:
        -rm -f Test/man-provider-test.exe*
 
+push:
+       make PROFILE=net_4_0
+       scp ../../class/lib/net_4_0/monodoc.dll* SERVER
\ No newline at end of file