diff -rc docbook5-xsl-1.72.0-orig/html/xref.xsl docbook5-xsl-1.72.0/html/xref.xsl *** docbook5-xsl-1.72.0-orig/html/xref.xsl 2007-01-23 21:50:22.000000000 +0100 --- docbook5-xsl-1.72.0/html/xref.xsl 2007-02-05 12:53:50.000000000 +0100 *************** *** 898,903 **** --- 898,908 ---- + + + + +