(make-ps-images): use png16m again, for sake

of IE users.

diff --git a/scm/ps-to-png.scm b/scm/ps-to-png.scm
index 44b32714b554ad5b344d5565754e7ba5d831d685..06265fe27ce64dcf9ad33602a4984033b76e6c6d 100644 (file)
--- a/scm/ps-to-png.scm
+++ b/scm/ps-to-png.scm
@@ -147,6 +147,8 @@
            (if multi-page?
                (format #f "-sPAPERSIZE=~a" paper-size)
                "-dEPSCrop"))
+
+         ;; can't use pngalpha device, since IE is broken.  
          (cmd (format #f "~a\
  ~a\
  ~a\