Add comments to prophyle_propagation_makefile
Add comments to prophyle_propagation_makefile


Former-commit-id: e8db5ced835341ec6114b37a19d0459ad6fc3739
karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle