From efcd0f6bcfc1a29e6c1dde6e723fd804176dad3f Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Wed, 14 May 2008 12:25:29 +0000
Subject: [PATCH] merge changeset 9346 in the 4.2 branches

---
 doc/Makefile                      | 16 ++++++++++++++++
 doc/{PLCAPI.xml => PLCAPI.xml.in} |  2 +-
 2 files changed, 17 insertions(+), 1 deletion(-)
 rename doc/{PLCAPI.xml => PLCAPI.xml.in} (99%)

diff --git a/doc/Makefile b/doc/Makefile
index f05fbfe5..9cdec712 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -9,6 +9,22 @@
 
 all: PLCAPI.html
 
+# XML - as opposed to SGML - requires an identifier - see 
+# http://www.docbook.org/tdg/en/html/appb.html
+# and, openjade opens http connections when using the official URL 
+# as an identifier; this is slow, and sometimes fails and breaks the build
+
+# locating locally installed docbook43 dtd - fedora-specific
+remote-docbook-43 = http://www.oasis-open.org/docbook/xml/4.3/docbookx.dtd
+local-docbook-43 = $(wildcard /usr/share/sgml/docbook/xml-dtd-4.3-*/docbookx.dtd)
+docbook-43=$(if $(local-docbook-43),$(local-docbook-43),$(remote-docbook-43))
+
+PLCAPI.xml: PLCAPI.xml.in
+	$(if $(local-docbook-43), \
+	echo Using locally installed DTD $(local-docbook-43), \
+	echo WARNING - could not locate local DTD - using remote $(remote-docbook-43))
+	sed -e s:@DOCBOOK-43@:$(docbook-43): $< > $@
+
 .PLCAPI.xml.valid: Methods.xml
 
 API_SOURCES = ../PLC/__init__.py ../PLC/Methods/__init__.py
diff --git a/doc/PLCAPI.xml b/doc/PLCAPI.xml.in
similarity index 99%
rename from doc/PLCAPI.xml
rename to doc/PLCAPI.xml.in
index 6dd33260..ffc0057a 100644
--- a/doc/PLCAPI.xml
+++ b/doc/PLCAPI.xml.in
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE book PUBLIC "-//OASIS//DTD DocBook XML V4.3//EN"
-    "http://www.oasis-open.org/docbook/xml/4.3/docbookx.dtd" [
+"@DOCBOOK-43@" [
 <!ENTITY Methods SYSTEM "Methods.xml">
 ]>
 
-- 
2.47.0