doc/flex.info
doc/flex.info-1
doc/flex.info-2
doc/flex.1
doc/stamp-vti
doc/version.texi