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