From: Sergey Matveev <stargrave@stargrave.org>
Date: Tue, 8 Nov 2022 09:40:35 +0000 (+0300)
Subject: Вышел Texinfo 7.0
X-Git-Url: http://www.git.stargrave.org/?a=commitdiff_plain;h=110c0809146e5057a01e6b4791903ae54908a9a4;p=stargrave-blog.git

Вышел Texinfo 7.0

В нём исправлена бага о пропаже элемента из индекса, о которой сообщал
(ab93c94e50820da24ba107002f5cb0c1091cef2d), а также теперь HTML5 вывод
по умолчанию и желанная мною ASCII_PUNCTUATION опция (ибо бесит когда в
текстовом выводе, как минимум, не ASCII кавычки).
---