6738fbb
--- TeXmacs-1.0.6.10-src/src/Window/PsDevice/printer.cpp.psfix	2007-06-29 17:14:12.000000000 +0200
6738fbb
+++ TeXmacs-1.0.6.10-src/src/Window/PsDevice/printer.cpp	2007-06-29 17:15:07.000000000 +0200
6738fbb
@@ -138,7 +138,6 @@ printer_rep::~printer_rep () {
6738fbb
 	   << "TeXDict begin\n";
6738fbb
   if (page_type != "user") {
6738fbb
     prologue << "%%BeginPaperSize: " << page_type << "\n";
6738fbb
-    prologue << page_type << "\n";
6738fbb
     prologue << "%%EndPaperSize\n";
6738fbb
   }
6738fbb
   if (landscape)