Gruppo Utilizzatori Italiani di TeX
Ho seguito il suo consiglio: ho disinstallato, riscaricato e reinstallato MacTeX 2017 e ora texdoc funziona.
Grazie mille