coq art pdf file

I install djvu plugin from http://www.djwu.com/ to make IE capable of reading djvu files, and then print djvu file into pdf.