--- /dev/null 2013-07-25 10:36:14.000000000 +0000 +++ docbook-xml-4.1.2/catalog.xml 2013-07-25 10:35:44.109659700 +0000 @@ -0,0 +1,66 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +