diff --git a/mach/mantra/int/Makefile b/mach/mantra/int/Makefile
index bbdb3db05..29ae66c87 100644
--- a/mach/mantra/int/Makefile
+++ b/mach/mantra/int/Makefile
@@ -65,11 +65,13 @@ install:	all
 		ls em2_???? | sed 's:em2_\(.*\):cp & $b24/em_\1:' | sh
 		ls em4_???? | sed 's:em4_\(.*\):cp & $b44/em_\1:' | sh
 		cp em ../../../bin/em
+		cp em.1 ../../../man/em.1
 
 cmp: 		all
 		ls em2_???? | sed 's:em2_\(.*\):cmp & $b24/em_\1:' | sh
 		ls em4_???? | sed 's:em4_\(.*\):cmp & $b44/em_\1:' | sh
-		cmp em ../../../bin/em
+		-cmp em ../../../bin/em
+		-cmp em.1 ../../../man/em.1
 
 clean:
 		-rm -f *.o *.old a.out em tmp.s $(INTS)