htmltoc -toc toc.html -tocmap toc.map -ol -textonly -header header.html -prefix PL -useorg logmatintro.html logiprop.html logprimo.html clausris.html logprobl.html prolog.html bibliografia.html
