Attempt to use generated PDF. At present, this is ignored and the
authorMike Taylor <mike@indexdata.com>
Thu, 27 Apr 2006 13:39:49 +0000 (13:39 +0000)
committerMike Taylor <mike@indexdata.com>
Thu, 27 Apr 2006 13:39:49 +0000 (13:39 +0000)
commit92d556a79d978f878f90ef01b97c5b313dd01e15
treedc31243e790491b926539645d15ab105cc5baee6
parent824a9c0f448740aa9ae044258cd8937bd492611b
Attempt to use generated PDF.  At present, this is ignored and the
ugly low-resolution PNG used instead, I think because we need to put
some "use the damned PDF file, you fool" magic in the LaTeX, but I'm
not sure.  For now, we just live with the PNG.
doc/book.xml