Gruppo Utilizzatori Italiani di TeX
si ho visto, ma non importa perchè ho eseguito il comando texdoc minitoc e ho trovato il manuale che mi serviva.
ciao Marco
