Re: manuale pacchetto minitoc

Ciao Marco,

se vuoi risparmiare tempo (almeno con Windows 7), invece di aprire ogni volta il terminale, è sufficiente che tu prema il tasto “Windows”, che digiti [tt]texdoc minitoc,[/tt] e prema “Invio”.

Ciao,
Marco.