[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
branch master updated: TDO: texi2dvi use makeinfo > 5.0 instead of sed s
From: |
Patrice Dumas |
Subject: |
branch master updated: TDO: texi2dvi use makeinfo > 5.0 instead of sed substitutions |
Date: |
Thu, 25 Aug 2022 05:36:08 -0400 |
This is an automated email from the git hooks/post-receive script.
pertusus pushed a commit to branch master
in repository texinfo.
The following commit(s) were added to refs/heads/master by this push:
new b866a0250d TDO: texi2dvi use makeinfo > 5.0 instead of sed
substitutions
b866a0250d is described below
commit b866a0250d6f5988a1270cd71866e59eb46f9118
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Thu Aug 25 11:34:55 2022 +0200
TDO: texi2dvi use makeinfo > 5.0 instead of sed substitutions
---
TODO | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/TODO b/TODO
index afb8de31e6..0ddf597b2a 100644
--- a/TODO
+++ b/TODO
@@ -87,6 +87,10 @@ If you are interested in working on any of these, email
bug-texinfo@gnu.org.
- support info dir entries for other than the current info file name;
see comments in menu_item_equal.
+* texi2dvi
+ - replace sed substitutions in comment_iftex by a call of makeinfo:
+ makeinfo -c TEXINFO_OUTPUT_FORMAT=plaintexinfo --iftex --no-ifinfo
+
* Distribution:
- generate txi-??.tex from .po's to make translators' jobs easier.
From Akim and Karl E.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- branch master updated: TDO: texi2dvi use makeinfo > 5.0 instead of sed substitutions,
Patrice Dumas <=