Documentation for tex-ifptex
