[project @ 2003-07-24 07:45:09 by simonpj]

[ghc-hetmet.git] / docs / fptools-both.dsl

diff --git a/docs/fptools-both.dsl b/docs/fptools-both.dsl
index f2f8fe0..11aa1ce 100644 (file)
--- a/docs/fptools-both.dsl
+++ b/docs/fptools-both.dsl
@@ -2,11 +2,11 @@
 <!ENTITY % html "IGNORE">
 <![%html;[
 <!ENTITY % print "IGNORE">
-<!ENTITY docbook.dsl SYSTEM "/usr/lib/sgml/stylesheets/nwalsh-modular/html/docbook.dsl" CDATA dsssl>
+<!ENTITY docbook.dsl PUBLIC "-//Norman Walsh//DOCUMENT DocBook HTML Stylesheet//EN" CDATA dsssl>
 ]]>
 <!ENTITY % print "INCLUDE">
 <![%print;[
-<!ENTITY docbook.dsl SYSTEM "/usr/lib/sgml/stylesheets/nwalsh-modular/print/docbook.dsl" CDATA dsssl>
+<!ENTITY docbook.dsl PUBLIC "-//Norman Walsh//DOCUMENT DocBook Print Stylesheet//EN" CDATA dsssl>
 ]]>
 ]>
 
@@ -15,6 +15,7 @@
 Options added:
 
 %section-autolabel%: true
+%paper-type%: A4
 
 -->
 
@@ -57,14 +58,18 @@ Options added:
   ;; General measure of document text size
   ;; "presbyopic"
   ;; "large-type"
-  "presbyopic")
+  "normal")
 
+(define %generate-set-toc% #t)
 (define %generate-part-toc% #t)
 
 ;; (define %block-start-indent% 10pt)
 
 (define %graphic-default-extension% "eps")
 
+(define %paper-type%
+  ;; Name of paper type
+  "A4")
 
 </style-specification-body>
 </style-specification>