clean:
rm -f *.dvi *.log *.ps *.html *.aux *.toc *.rel *.ilg *.rip *.ind \
*.pdf *.out *.idx *~ listati/*.html img/*.ps img/*.eps img/*.pdf
clean:
rm -f *.dvi *.log *.ps *.html *.aux *.toc *.rel *.ilg *.rip *.ind \
*.pdf *.out *.idx *~ listati/*.html img/*.ps img/*.eps img/*.pdf