On Tue, May 8, 2018 at 9:29 AM, Florian Weimer <fweimer@redhat.com> wrote: >> * manual/arith.texi, manual/time.texi: Update chapter-level node >> pointers. > > Do we still need to maintain node pointers manually? Yes, unfortunately, libc-texinfo.sh needs them (that's the script that generates the "top menu"). zw