diff --git a/util/misc/Makefile b/util/misc/Makefile index ad29cc667..11dbebbb3 100644 --- a/util/misc/Makefile +++ b/util/misc/Makefile @@ -39,13 +39,15 @@ clean: rm -f $(DEC_PATH) $(ENC_PATH) *.o *.old install : all - rm -f $l/em_$(DEC_PATH) $l/em_$(ENC_PATH) + rm -f $l/em_$(DEC_PATH) $l/em_$(ENC_PATH) $d/man/em_decode.6 cp $(DEC_PATH) $l/em_$(DEC_PATH) cp $(ENC_PATH) $l/em_$(ENC_PATH) + cp em_decode.6 $d/man/em_decode.6 cmp : all - cmp $(DEC_PATH) $l/em_$(DEC_PATH) - cmp $(ENC_PATH) $l/em_$(ENC_PATH) + -cmp $(DEC_PATH) $l/em_$(DEC_PATH) + -cmp $(ENC_PATH) $l/em_$(ENC_PATH) + -cmp em_decode.6 $d/man/em_decode.6 opr: make pr ^ opr