F 00README.;1                       	00README
F CHANGES.;1                        	CHANGES
F FIXDATE.PL;1                      	fixdate.pl
F LSHORT.DVI;1                      	lshort.dvi
F LSHORT.PDF;1                      	lshort.pdf
F LSHORT-B.GZ;1                     	lshort-book.ps.gz
F LSHORT_P.GZ;1                     	lshort.ps.gz
F MAKEFILE.;1                       	Makefile
F MANIFEST.;1                       	MANIFEST
F README.;1                         	README
D SRC                               	src
F TODO.;1                           	TODO
F TRANSLAT.;1                       	TRANSLATIONS