X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Ffptools-both.dsl;h=11aa1ce87c1ef6c0817411cfaadae9887e71daaa;hb=72f5cd2fbc56c266e92f974a4561fbe878628b63;hp=f2f8fe0352624e9fb2e8bcb5477b1162655cefe6;hpb=e5f1291c49dd97911c8e0696f87e16b517380e77;p=ghc-hetmet.git diff --git a/docs/fptools-both.dsl b/docs/fptools-both.dsl index f2f8fe0..11aa1ce 100644 --- a/docs/fptools-both.dsl +++ b/docs/fptools-both.dsl @@ -2,11 +2,11 @@ - + ]]> + ]]> ]> @@ -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")