updates.

[runtime.git] / scripts / html2psrc

diff --git a/scripts/html2psrc b/scripts/html2psrc
index e02c2d0308c3c0feb30faa16d5764a6239855b6f..8b619f4de3cdac634b5f23b921ab20c78d47e731 100755 (executable)
--- a/scripts/html2psrc
+++ b/scripts/html2psrc
@@ -21,6 +21,7 @@
   option {
     toc: bh;              /* Generate a table of contents, based on headings */
     titlepage: 1;         /* Generate a title page */
+ /*   original: 1; */
   }
   titlepage {           /* The title page content: document title, author and
                            creation date */
@@ -29,6 +30,7 @@
   }
   package {
     djpeg: 1;
+    Ghostscript: 1;
   }
   toc {
     heading: "TABLE OF CONTENTS";
@@ -59,4 +61,4 @@ ADDRESS { text-align: right }
 BODY {
   font-family: Helvetica;
   text-align: justify
-}
\ No newline at end of file
+}