Bug#934536: info page needs to include more from index.rst
(too old to reply)
Osamu Aoki
2019-08-12 02:00:01 UTC
Source: developers-reference
Version: 11.0.1
Severity: minor

For info page building, text before toctree is included in the opening
info page but after is silently dropped.

Also it doesn't care appendix.

I am trying to include copyright text into the first opening page.

-- System Information:
Debian Release: 10.0
APT prefers stable
APT policy: (500, 'stable')
Architecture: amd64 (x86_64)

Kernel: Linux 4.19.0-5-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

-- no debconf information
Osamu Aoki
2019-08-12 02:30:01 UTC

Actually, text after .toctree are included at the end of entire info

For now, not using text after .toctree is a reasonable work around.

But the best solution is to write extension to emmit such text after
.toctree immediately after @menu section in *.texi file.

So let's make this bug report tracking this extension while implementing
workaround for https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=934526