Makefile
Makefile.in
develenv
develenv*.html
develenv.aux
develenv.cp
develenv.dvi
develenv.fn
develenv.ky
develenv.log
develenv.pdf
develenv.pg
develenv.ps
develenv.toc
develenv.tp
develenv.vr
index.html
mdate-sh
