Setting tag plcapi-4.3-37

[plcapi.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 9cdec71..f3a8cb7 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -5,6 +5,7 @@
 # Copyright (C) 2006 The Trustees of Princeton University
 #
 # $Id$
+# $URL$
 #
 
 all: PLCAPI.html
@@ -23,7 +24,7 @@ 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): $< > $@
+       sed -e "s:@DOCBOOK-43@:$(docbook-43):" $< > $@
 
 .PLCAPI.xml.valid: Methods.xml