[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

<xref type=URL> patch

Hi!

TEItools начала сентября.  Неправильное преобразование <xref type=URL> в 
<a href>: отсутствовала заключительная кавычка в аттрибуте href.  

Вот патч ;)

diff -u -r1.3 script
--- script      1998/09/24 13:18:34     1.3
+++ script      1998/09/24 13:19:32
@@ -1013,7 +1013,7 @@
     }
     {element XREF withattval TYPE URL} {
        prefix          "<[Link] HREF='"
-       suffix          ">[XREF2HREF]</A>"
+       suffix          "'>[XREF2HREF]</A>"
     }
     {element XREF} {
        prefix          "[openRend bold][openXref]"

-- 
SY, Andrey V Khavryutchenko	http://www.kbi.kiev.ua/~akhavr

Shick's Law:
	There is no problem a good miracle can't solve.