Fixed 'make dist' by including all HTML files in HTMLFILES.
[idzebra-moved-to-github.git] / examples / zthes / .cvsignore
1 *.mf
2 *.LCK
3 *.in
4 Makefile
5 zebrasrv.pid