diff -up TeXmacs-1.0.6.12-src/src/Graphics/Renderer/printer.cpp.psfix TeXmacs-1.0.6.12-src/src/Graphics/Renderer/printer.cpp
--- TeXmacs-1.0.6.12-src/src/Graphics/Renderer/printer.cpp.psfix 2007-11-05 19:24:01.000000000 +0100
+++ TeXmacs-1.0.6.12-src/src/Graphics/Renderer/printer.cpp 2007-11-05 19:24:20.000000000 +0100
@@ -124,7 +124,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)