[tex-live] src specials fixes

[Fabrice Popineau]

Ok, the attched files where filtered.
Here they are again.

-- 
Fabrice

================================================================================
--- d:\source\texlive\Build\source\TeX\texk\web2c\tex.ch	Tue Nov 27 19:40:29 2001
+++ tex.ch	Fri May 31 17:10:06 2002
@@ -47,6 +47,12 @@
 % The module numbers in this change file refer to TEX.WEB 3.14159 as
 % of March, 1995 (published as Donald E. Knuth, TeX: The Program,
 % Volume B of Computers & Typesetting).
+%
+% This Web2C implementation adds the src-specials feature, for 
+% communication between DVI viewers and TeX editors. Unfortunately, 
+% even if this feature is harmless, when it is turned on, the ``\.{TRIP} test'' 
+% will fail. So the program can't be called \TeX{} anymore, and we need 
+% another banner for this purpose.
 
 @x [0.0] l.83 - WEAVE: print changes only.
   \def\?##1]{\hbox to 1in{\hfil##1.\ }}
@@ -69,6 +75,13 @@
 
 @z
 
+@x l.188 -- New banner if the ``src-specials'' feature is active.
+@d banner=='This is TeX, Version 3.14159' {printed when \TeX\ starts}
+@y
+@d banner=='This is TeX, Version 3.14159' {printed when \TeX\ starts}
+@d banner_src=='This is src-special-TeX, Version 3.14159' {printed when \TeX\ starts}
+@z
+
 @x [1.4] l.233 - program header
 Actually the heading shown here is not quite normal: The |program| line
 does not mention any |output| file, because \ph\ would ask the \TeX\ user
@@ -857,6 +871,22 @@
 @y
 @z
 
+@x l.1536 --  If the ``src-specials'' feature is active, change the banner.
+wterm(banner);
+@y
+if (insert_src_special_auto 
+    or insert_src_special_every_par
+    or insert_src_special_every_parend
+    or insert_src_special_every_cr
+    or insert_src_special_every_math
+    or insert_src_special_every_hbox
+    or insert_src_special_every_vbox
+    or insert_src_special_every_display) then
+  wterm(banner_src)
+else
+  wterm(banner);
+@z
+
 @x [5.61] l.1556 - Print rest of banner, eliminate misleading `(no format preloaded)'.
 if format_ident=0 then wterm_ln(' (no format preloaded)')
 else  begin slow_print(format_ident); print_ln;
@@ -1724,6 +1758,24 @@
   end;
 @z
 
+@x
+begin wlog(banner);
+@y
+begin
+if (insert_src_special_auto 
+    or insert_src_special_every_par
+    or insert_src_special_every_parend
+    or insert_src_special_every_cr
+    or insert_src_special_every_math
+    or insert_src_special_every_hbox
+    or insert_src_special_every_vbox
+    or insert_src_special_every_display) 
+then
+  wlog(banner_src)
+else
+  wlog(banner);
+@z
+
 @x [29.536] l.10324 - Print rest of banner.
 slow_print(format_ident); print("  ");
 @y

================================================================================
--- d:\source\texlive\Build\source\TeX\texk\web2c\tex.ch	Tue Nov 27 19:40:29 2001
+++ tex.ch	Fri May 31 17:03:42 2002
@@ -47,6 +47,12 @@
 % The module numbers in this change file refer to TEX.WEB 3.14159 as
 % of March, 1995 (published as Donald E. Knuth, TeX: The Program,
 % Volume B of Computers & Typesetting).
+%
+% This Web2C implementation adds the src-specials feature, for 
+% communication between DVI viewers and TeX editors. Unfortunately, 
+% even if this feature is harmless, when it is turned on, the ``\.{TRIP} test'' 
+% will fail. So the program can't be called \TeX{} anymore, and we need 
+% another banner for this purpose.
 
 @x [0.0] l.83 - WEAVE: print changes only.
   \def\?##1]{\hbox to 1in{\hfil##1.\ }}
@@ -870,6 +877,15 @@
   fputs(translate_filename, stdout);
   wterm_ln(')');
 end;
+if (insert_src_special_auto 
+    or insert_src_special_every_par
+    or insert_src_special_every_parend
+    or insert_src_special_every_cr
+    or insert_src_special_every_math
+    or insert_src_special_every_hbox
+    or insert_src_special_every_vbox
+    or insert_src_special_every_display)
+  then wterm_ln('Source specials activated.');
 @z
 
 @x [6.73] l.1732 - Add unspecified_mode.
@@ -1746,6 +1766,18 @@
   fputs(translate_filename, log_file);
   wlog(')');
 end;
+if (insert_src_special_auto 
+    or insert_src_special_every_par
+    or insert_src_special_every_parend
+    or insert_src_special_every_cr
+    or insert_src_special_every_math
+    or insert_src_special_every_hbox
+    or insert_src_special_every_vbox
+    or insert_src_special_every_display) 
+then begin
+  wlog_cr;
+  wlog('Source specials activated.')
+end;
 end
 @z