Thomas Henderson Docherty was a professional footballer and football manager.