Opened 10 years ago
Last modified 10 years ago
#43617 closed defect
texinfo: texi2dvi incompatible with bsdsed — at Version 6
| Reported by: | Ionic (Mihai Moldovan) | Owned by: | macports-tickets@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | Cc: | mk@…, egall@…, mojca@…, dports@… | |
| Port: | texinfo |
Description (last modified by mojca (Mojca Miklavec))
texinfo's texi2dvi command is incompatible with bsdsed in the case of texinfo files requiring recode.
An incarnation of that can be seen in #38744.
A 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".
Change History (7)
comment:1 Changed 10 years ago by mkae (Marko Käning)
| Cc: | dports@… removed |
|---|---|
| Owner: | changed from macports-tickets@… to dports@… |
comment:2 Changed 10 years ago by cooljeanius (Eric Gallager)
| Cc: | egall@… added |
|---|
comment:4 Changed 10 years ago by mojca (Mojca Miklavec)
Doesn't texi2dvi belong to texinfo (non-maintained port) rather than TeX Live?
Is anyone willing to come up with a minimal example and send a bug report?
REPORTING BUGS
Report bugs to bug-texinfo at gnu.org, general questions and discussion to help-texinfo at gnu.org.
GNU Texinfo home page: <http://www.gnu.org/software/texinfo/>
General help using GNU software: <http://www.gnu.org/gethelp/>
comment:5 Changed 10 years ago by Ionic (Mihai Moldovan)
Mea culpa. Indeed, it does. Would you please be so kind to remove dports and change the description + affected port to texinfo?
I blindly relied on the maxima port to get its dependencies right (obviously, it's depending on texlive for +printable_docs) and didn't even bother to double-check, whether texi2dvi is actually included in texlive.
I could try coming up with a minimal example... at least I kind-of-know what is causing this bug.
comment:6 Changed 10 years ago by mojca (Mojca Miklavec)
| Cc: | dports@… added |
|---|---|
| Description: | modified (diff) |
| Owner: | changed from dports@… to macports-tickets@… |
| Port: | texinfo added; texlive removed |
| Summary: | texlive: texi2dvi incompatible with bsdsed → texinfo: texi2dvi incompatible with bsdsed |
Changed 10 years ago by Ionic (Mihai Moldovan)
Minimal testcase showcasing the bug when being converted with texi2dvi --pdf --batch foo.texi.
Cc Me!