LY_HEADER_LSR = '''%% DO NOT EDIT this file manually; it is automatically
-%% generated from LSR http://lsr.dsi.unimi.it
+%% generated from LSR http://lsr.di.unimi.it
%% Make any changes in LSR itself, or in Documentation/snippets/new/ ,
%% and then run scripts/auxiliar/makelsr.py
%%
s = strip_white_spaces_re.sub ('', s)
s = final_empty_lines_re.sub ('\n', s)
s = escape_backslashes_in_header (s)
+ s = s.replace ("\r\n", "\n")
sys.stderr.write ("makelsr.py: writing %s\n" % dest)
open (dest, 'w').write (s)