That is only for people in the DoD.

Almost nothing that the DoD uses is made by the DoD. It's pretty much all 3rd party contractors, and those contractors handle paying their employees.