Is there any reason why doc/latex/emp/manual.ps.gz isn't actually called empman.ps.gz (given that the DVI file is called empman.dvi)? Saying `texdoc empman' would then immediately give the expected result. Werner