::
TeXmaker è un editor e non c’entra nulla con texdoc; se dando da terminale texdoc protesta dicendoti che non conosce il comando texdoc, vuol dire che hai una distribuzione vecchiotta e devi assolutamente aggiornare.
Ricorda TeX Live 2011; nessun’altra.
