[tex-live] src specials fixes

[Olaf Weber]

Olaf Weber writes:
> Sebastian Rahtz writes:

>> Fabrice, I think we should follow Olaf's suggestions.
>> Can you do that in texlive?

> Points to note:

> - The message I implemented is 'source specials enabled'.
>   We may want to do something different, or capitalize it, or
>   whatever.

> - In the long run, I think we should be able to properly get away with
>   this message here rather than banner changes if we manage to get the
>   source-specials to be transparent for a TeX run.

And another change that you may want to consider.

infovore:/home/olaf/web2c/src/texk/texk/web2c/doc$ cvs diff -u web2c.texi 
Index: web2c.texi
===================================================================
RCS file: /usr/local/cvsroot/texk/texk/web2c/doc/web2c.texi,v
retrieving revision 1.28
diff -u -r1.28 web2c.texi
--- web2c.texi  27 Nov 2001 12:44:23 -0000      1.28
+++ web2c.texi  31 May 2002 21:04:29 -0000
@@ -1078,8 +1078,8 @@
 @item -src-specials
 @itemx -src-specials=@var{string}
 @cindex generating source specials
-This option requires @TeX{} to  output specific source information using
-@samp{\special} commands  in  the DVI file. These  @samp{\special} track
+This option makes @TeX{} output specific source information using
+@samp{\special} commands in the DVI file. These @samp{\special} track
 the current file name and line number.
 
 Using the first form of this option, the @samp{\special} are inserted
@@ -1096,6 +1096,9 @@
 editor to switch from the current position in the editor to the same
 position in the viewer and back from the viewer
 to the editor.
+
+Note that @TeX{} does not pass the trip test when this option is
+enabled.
 
 @end table
 

-- 
Olaf Weber

               (This space left blank for technical reasons.)