From: Thierry Parmentelat Date: Wed, 14 May 2008 12:25:29 +0000 (+0000) Subject: merge changeset 9346 in the 4.2 branches X-Git-Tag: PLCAPI-dummynet-4~2 X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=efcd0f6bcfc1a29e6c1dde6e723fd804176dad3f;p=plcapi.git merge changeset 9346 in the 4.2 branches --- diff --git a/doc/Makefile b/doc/Makefile index f05fbfe..9cdec71 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 6dd3326..ffc0057 100644 --- a/doc/PLCAPI.xml +++ b/doc/PLCAPI.xml.in @@ -1,6 +1,6 @@ ]>