[Pkg-jed-commit] [SCM] Debian packaging of JED branch, jo-upstream-fixes, updated. 7067e34ff233dc4deb3d352dc2c063c2504c7309

[Jörg Sommer]

The following commit has been merged in the jo-upstream-fixes branch:
commit 8de0fc5403222f4281bf4076c5c843c5dfdf9c3c
Author: Jörg Sommer <joerg at alea.gnuu.de>
Date:   Thu May 29 18:13:19 2008 +0200

    The begin of a HTML comment missed the second dash

diff --git a/lib/html.sl b/lib/html.sl
index dc0792a..7611947 100644
--- a/lib/html.sl
+++ b/lib/html.sl
@@ -488,7 +488,7 @@ definekey("html_par_insert", "\e^M", $1); % Neater paragraph insert (MDJ 04/06/9
 create_syntax_table ($1);
 define_syntax ("<", ">", '(', $1);     %  make these guys blink match
 define_syntax ("<>", '<', $1);
-define_syntax ("<!-", "-->", '%', $1);
+define_syntax ("<!--", "-->", '%', $1);
 define_syntax ("A-Za-z&", 'w', $1);
 define_syntax ('#', '#', $1);
 

-- 
Debian packaging of JED