doc/ift-export.info
doc/ift-extract.info
