remove PLC.Debug.log, use PLC.Logger.logger instead

[plcapi.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 64c208c..508d3ac 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -4,8 +4,6 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id$
-#
 
 all: PLCAPI.html
 
@@ -16,14 +14,14 @@ all: PLCAPI.html
 
 # 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)
+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):" $< > $@
+       sed -e "s,@DOCBOOK-43@,$(docbook-43)," $< > $@
 
 .PLCAPI.xml.valid: Methods.xml