sed expression should be in quotes for it to work
authorMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 17 Mar 2009 13:55:35 +0000 (13:55 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 17 Mar 2009 13:55:35 +0000 (13:55 +0000)
doc/Makefile

index 9cdec71..64c208c 100644 (file)
@@ -23,7 +23,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