dvips documentation Sure, I will work on regenerating the HTML files from dvips.texi. We can also generate the PDF from that. dvips.tex should be removed, it is not maintained. (Tom R. himself just updated dvips.texi!) I'll see if I can clean that up too. Thanks for mentioning it.