@@ -7,9 +7,11 @@ recheck: clean check
77install: check
88 mkdir -p $(TARGET)/prelude
99 mkdir -p $(TARGET)/network
10+ mkdir -p $(TARGET)/control/monad
1011 install *.ibc $(TARGET)
1112 install prelude/*.ibc $(TARGET)/prelude
1213 install network/*.ibc $(TARGET)/network
14+ install control/monad/*.ibc $(TARGET)/control/monad
1315
1416clean: .PHONY
1517 rm -f *.ibc