Makefile-deps
Makefile-sources
Makefile-certs
Makefile-tmp
*.cert
*.out
*.time
*.lx64fsl
*.fx64fsl
*.port
*~
*.sao
temp-emacs-file
workxxx.*
*.pcert0
*.pcert1
*.acl2x
startjob.*
centaur/manual/
*.fasl
TAGS
.#*
*#