Document the makefile proxy implementation.