COPYING		GNU General Public License
NEWS		List of changes
README		Readme file (ASCII)
cwsdpmi.exe	DPMI server (used by `makertf.exe' if
		no DPMI already present)
makertf.exe	Executable
makertf.hlp	Readme file (WinHelp format)
makertf.pat	Diffs between makeinfo.c and makertf.c
makertf.tex	Readme file (Texinfo source)
texi2hlp.bat	Batch file for converting `foo.tex' into `foo.hlp'
