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))
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))