Control: unmerge -1 Control: retitle -1 gnuplot-doc: spurious menu at the end of Section 4 breaks navigation
On 2022-11-22 15:08:10 +0100, Vincent Lefevre wrote: > doc2texi.el has > > (defvar d2t-terminal-directory (expand-file-name "../term/") > "Location of .trm files in gnuplot source tree.") > > If I understand correctly, this is relative to the build directory > (since the current working directory is there), while this should have > been relative to the source directory. A general fix is not obvious: > one would have to pass $(srcdir) to the file, unless there is some > Emacs variable that already contains the information. However, for > Debian, the build directory is at some fixed place in the source tree, > so that this can be fixed by just adapting the relative path. > > Patch attached. This solves the inclusion of the terminal types, but unfortunately, the buggy menu is a separate problem. In the gnuplot.info.gz file with the patch: [...] 4.1.54 xlib ----------- The 'xlib' terminal driver supports the X11 Windows System. It generates gnuplot_x11 commands, but sends them to the output file specified by 'set output '<filename>''. 'set term x11' is equivalent to 'set output "|gnuplot_x11 -noevents"; set term xlib'. 'xlib' takes the same set of options as 'x11'." * Menu: * Bugs:: File: gnuplot.info, Node: Bugs, Next: Concept_Index, Prev: Terminal_types, Up: Top 5 Bugs ****** [...] i.e. the menu is still there, so that going backward from Section 5 goes to Section 5.2 instead of 4.1.54. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
