# HG changeset patch
# User Patrick PIERRE
# Date 1348906025 -7200
# Node ID 75320469dbdc1aa00331ceff8c25ed6db9943654
# Parent 493f1b4c25def7f930369255394ab3917d667e22
Ajout des en-tête et pied de page
diff -r 493f1b4c25de -r 75320469dbdc RelaxNG/Examples/Documents/Images/footer.png
Binary file RelaxNG/Examples/Documents/Images/footer.png has changed
diff -r 493f1b4c25de -r 75320469dbdc RelaxNG/Examples/Documents/Images/header.png
Binary file RelaxNG/Examples/Documents/Images/header.png has changed
diff -r 493f1b4c25de -r 75320469dbdc RelaxNG/Examples/Documents/torture_test.xml
--- a/RelaxNG/Examples/Documents/torture_test.xml ven. sept. 28 19:28:16 2012 +0200
+++ b/RelaxNG/Examples/Documents/torture_test.xml sam. sept. 29 10:07:05 2012 +0200
@@ -82,6 +82,9 @@
<head>
<title>Les types de section</title>
</head>
+ <header>
+ <media><image id="header"/></media>
+ </header>
<section>
<head>
<title>Section normale</title>
@@ -142,6 +145,9 @@
<section type="sign">
<p>Jeanson Henri (signature)</p>
</section>
+ <footer>
+ <media><image id="footer"/></media>
+ </footer>
</topic>
<!-- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -->
<topic>
diff -r 493f1b4c25de -r 75320469dbdc RelaxNG/publidoc.rnc
--- a/RelaxNG/publidoc.rnc ven. sept. 28 19:28:16 2012 +0200
+++ b/RelaxNG/publidoc.rnc sam. sept. 29 10:07:05 2012 +0200
@@ -67,7 +67,9 @@
top.topic.content =
top.head?,
- section+
+ header?,
+ section+,
+ footer?
# =============================================================================
@@ -118,13 +120,22 @@
topic.content =
component.head?,
- section+
+ header?,
+ section+,
+ footer?
# =============================================================================
# SECTION LEVEL
# =============================================================================
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ header ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+header = element header { header.content }
+
+header.content =
+ block+
+
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ section ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# ~~~~~~ section
@@ -148,6 +159,13 @@
& audio*
& annotation*
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ footer ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+footer = element footer { footer.content }
+
+footer.content =
+ block+
+
# =============================================================================
# BLOCK LEVEL