[tex-live] Three problems with milstd.tex

[Robin Fairbairns]

Scott Pakin <scott at pakin.org> wrote:

> In Tex Live 2008, milstd.tex appears under the "doc" tree:
> 
>    texmf-dist/doc/latex/logic/milstd.tex
> 
> Hence, latex can't find that file with the default kpathsea setup.  Telling
> latex where to find milstd.tex reveals the second problem with that file:
> 
>    (./milstd.tex
>    ! Text line contains an invalid character.
>    l.34 ^^Z
> 
> The file ends with a DOS end-of-file marker, which causes latex to choke,
> at least on Linux.
> 
> A third problem with milstd.tex, which you may or may not want to fix, is
> that the .tex extension precludes the use of \usepackage{milstd}.  Instead,
> one has to \input{milstd} to use that package.

on ctan i've:
-- tidied the line endings (we do that whenever we spot the problem)
-- removed the ctrl-z lines
-- added a .sty link

so they'll not cause problems in the future.

r