K 10 svn:author V 3 nik K 8 svn:date V 27 2000-10-08T19:19:09.000000Z K 7 svn:log V 275 Support images in the documentation. For producing text-only docs, we need to have a second HTML target. The PS and PDF targets (which depended on a .tex file) have been split out so that they each depend on their own .tex-${format} file, to get the image formats correct. END