CREDITS
doc/README
doc/*.html
doc/*.dvi
doc/floppy_formats
