When recompiling I have somehow different info files: dir, dvips, info-stnd.info, info.info, kpathsea.info, web2c.info-1 Also man files differ. Should I update the depot? -- Staszek Wawrykiewicz StaW at gust.org.pl