X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Fdoc%2Fmanual%2Fsrc%2Fmarkup.dsl;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Fdoc%2Fmanual%2Fsrc%2Fmarkup.dsl;h=cd9b1e2bf6d06de193f1e252e32421e7bf64ff90;hb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;hp=0000000000000000000000000000000000000000;hpb=758057e85325f94cd88583feb1fdf6b038e35055;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/doc/manual/src/markup.dsl b/helm/DEVEL/pxp/pxp/doc/manual/src/markup.dsl
new file mode 100644
index 000000000..cd9b1e2bf
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/doc/manual/src/markup.dsl
@@ -0,0 +1,74 @@
+<!DOCTYPE style-sheet PUBLIC "-//James Clark//DTD DSSSL Style Sheet//EN" [
+
+<!-- The default is the print stylesheet. Call 'jade' with option '-ihtml'
+     to select the HTML stylesheet.
+  -->
+
+<!ENTITY % html "IGNORE">
+<![%html;[
+<!ENTITY % print "IGNORE">
+<!ENTITY docbook.dsl SYSTEM "docbook.dsl" CDATA dsssl>
+]]>
+<!ENTITY % print "INCLUDE">
+<![%print;[
+<!ENTITY docbook.dsl SYSTEM "docbook.dsl" CDATA dsssl>
+]]>
+]>
+<style-sheet>
+<style-specification use="docbook">
+<style-specification-body> 
+
+;; HTML:
+
+<![%html;[
+
+(define %footnotes-at-end%
+  ;; Should footnotes appear at the end of HTML pages?
+  #t)
+
+(define %html-ext% 
+  ;; Default extension for HTML output files
+  ".html")
+
+(define %root-filename%
+  ;; Name for the root HTML document
+  "index")
+
+(define %css-decoration%
+  ;; Enable CSS decoration of elements
+  #t)
+
+(define %stylesheet%
+  ;; Name of the stylesheet to use
+  "markup.css")
+
+(define %graphic-default-extension%
+  ;; Default extension for graphic FILEREFs
+  "gif")
+
+]]>
+
+;; printing:
+
+<![%print;[
+
+(define bop-footnotes
+  ;; Make "bottom-of-page" footnotes?
+  #t)
+
+(define %graphic-default-extension%
+  ;; Default extension for graphic FILEREFs
+  "ps")
+
+]]>
+
+;; both:
+
+(define %section-autolabel%
+   ;; Are sections enumerated?
+   #t)
+
+</style-specification-body>
+</style-specification>
+<external-specification id="docbook" document="docbook.dsl">
+</style-sheet>