[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
texinfo-6.8 html changes
|
From: |
Chris Vine |
|
Subject: |
texinfo-6.8 html changes |
|
Date: |
Sun, 13 Mar 2022 19:11:59 +0000 |
Hi,
texinfo-6.8 seems to produce different HTML output than did earlier
versions so far as concerns menus. Menus appear to be stripped from
HTML output, as compared to info output where these are preserved in
version 6.8.
Is there a configuration option which restores the previous behavior?
Chris
- texinfo-6.8 html changes,
Chris Vine <=