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=0000000000000000000000000000000000000000;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=cd9b1e2bf6d06de193f1e252e32421e7bf64ff90;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;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
deleted file mode 100644
index cd9b1e2bf..000000000
--- a/helm/DEVEL/pxp/pxp/doc/manual/src/markup.dsl
+++ /dev/null
@@ -1,74 +0,0 @@
-<!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>