Re: Command already defined

#72247
Up
0
Down
::

OldClaudio” post=71600Rifai l’esperimento; che cosa ti dice il comando which pdftex

`/opt/texbin/pdftex`

Go to top