PLD-doc/book/stylesheet.en: Makefile config-pl.xml pld-guide.xspp

Sun Nov 20 10:38:26 CET 2005

Author: ciesiel
Date: Sun Nov 20 10:38:24 2005
New Revision: 6543

Removed:
   PLD-doc/book/stylesheet.en/config-pl.xml
Modified:
   PLD-doc/book/stylesheet.en/Makefile
   PLD-doc/book/stylesheet.en/pld-guide.xspp
Log:
- fixed building after "make"


Modified: PLD-doc/book/stylesheet.en/Makefile
==============================================================================

--- PLD-doc/book/stylesheet.en/Makefile	(original)
+++ PLD-doc/book/stylesheet.en/Makefile	Sun Nov 20 10:38:24 2005
@@ -7,9 +7,9 @@
 	docbook2pdf ../en_book__master.docb
 	docbook2html -u ../en_book__master.docb
 	docbook2txt ../en_book__master.docb
-	sed -e 's/><HEAD/<HEAD>\n<meta http-equiv=\"Content-Type\" content=\"text\/html; charset=iso-8859-2\">\n/' ./en_book__master.html >./pld_dok.html
-	sed -e 's/><TITLE/<TITLE/' ./pld_dok.html > html/pld_dok.html
-	mv en_book__master.html html/pld_dok.html
+#	sed -e 's/><HEAD/<HEAD>\n<meta http-equiv=\"Content-Type\" content=\"text\/html; charset=iso-8859-2\">\n/' ./en_book__master.html >./pld_dok.html
+#	sed -e 's/><TITLE/<TITLE/' ./pld_dok.html > html/pld_dok.html
+	mv en_book__master.html html/en_dok.html
 #	mv pl_howto__master.html html/devel_howto.html
 	rm -rf *.html
 	mv en_book__master.pdf html/pld_dok.pdf

Modified: PLD-doc/book/stylesheet.en/pld-guide.xspp
==============================================================================
--- PLD-doc/book/stylesheet.en/pld-guide.xspp	(original)
+++ PLD-doc/book/stylesheet.en/pld-guide.xspp	Sun Nov 20 10:38:24 2005
@@ -455,9 +455,9 @@
   template "tgroup" { apply; }
   template "tbody" { apply; }
   template "thead" {
-    <thead align="center"
+    <thead align="center">
 	apply;
-    </thead
+    </thead>
   }
   template "row" { <tr>apply;</tr> }
   template "entry" { <td bgcolor="#999999">apply;</td> }

