Changes between Initial Version and Version 6 of Ticket #43617


Ignore:
Timestamp:
May 19, 2014, 5:59:28 PM (10 years ago)
Author:
mojca (Mojca Miklavec)
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #43617

    • Property Cc egall@… mojca@… added
    • Property Port texinfo added; texlive removed
    • Property Summary changed from texlive: texi2dvi incompatible with bsdsed to texinfo: texi2dvi incompatible with bsdsed

  • Ticket #43617 – Description

    initial v6  
    1 TeXlive's texi2dvi command is incompatible with bsdsed in the case of texinfo files requiring recode.
     1texinfo's `texi2dvi` command is incompatible with bsdsed in the case of texinfo files requiring recode.
    22
    33An incarnation of that can be seen in #38744.
    44
    55A far as I can see, we have to options: ping upstream on this issue and hope for them to resolve the bug, or rewrite texi2dvi (and possibly other tools?!) to use "gsed" instead of just "sed".
    6 
    7 Maintainer: what is your take on this?