report-with: tetex-base tetex-extra
