Makefile
*.info*
*.ps
*.dvi
