--- docbook_4/docbook-xml-4.3/catalog.xml.~1~ 2004-03-31 13:22:12.000000000 +0200 +++ docbook_4/docbook-xml-4.3/catalog.xml 2005-05-17 15:28:06.000000000 +0200 @@ -34,6 +34,9 @@ + + --- docbook_4/docbook-sgml-4.3/catalog.xml.~1~ 2004-03-31 13:45:14.000000000 +0200 +++ docbook_4/docbook-sgml-4.3/catalog.xml 2005-05-17 15:27:35.000000000 +0200 @@ -34,6 +34,9 @@ + + Diff finished. Tue May 17 15:28:24 2005