On 2021-05-24 01:21:56 +0200, Vincent Lefevre wrote: > After "info gnuplot", go to "Terminal_types::". One gets: > > ------------------------------------------------------------ > 4 Terminal types > **************** > > * Menu: > > * complete_list_of_terminals:: > ------------------------------------------------------------ > > The next page is just: > > ------------------------------------------------------------ > 4.1 complete list of terminals > ============================== > > Gnuplot supports a large number of output formats. These are selected > by choosing an appropriate terminal type, possibly with additional > modifying options. See *note terminal::. > > This document may describe terminal types that are not available to > you because they were not configured or installed on your system. To > see a list of terminals available on a particular gnuplot installation, > type 'set terminal' with no modifiers. > > Terminals marked 'legacy' are not built by default in recent gnuplot > versions and may not actually work. @c <3 - all terminal stuff is > pulled from the .trm files > > * Menu: > > * Bugs:: > ------------------------------------------------------------ > > without the complete list of terminals, contrary to the manual > in HTML.
I'm attaching the patch I had posted to bug 989029. I thought that these two bugs (missing terminal types and broken navigation) were due to the same cause, and I merged them, but these are really two independent bugs, though they occur at the same place in the manual. So I unmerged them a few hours ago. This patch fixes the missing terminal types by providing a correct relative pathname for the .trm files. Note that it is specific to Debian, since the relative pathname depends on the location of the build directory (a general fix would be more complex than this one-line change). Note: the menu with the "Bugs" item seen above is bug 989029 (this menu is the cause of the broken navigation in "info", and I will post a patch there). -- 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)
Description: Fix missing terminal types in gnuplot.info. This patch is specific to Debian, since the d2t-terminal-directory relative pathname depends on the location of the build directory (a general fix would be more complex). Bug-Debian: https://bugs.debian.org/989028 Author: Vincent Lefevre <vinc...@vinc17.net> Last-Update: 2022-11-22 Index: gnuplot-5.4.4+dfsg1/docs/doc2texi.el =================================================================== --- gnuplot-5.4.4+dfsg1.orig/docs/doc2texi.el +++ gnuplot-5.4.4+dfsg1/docs/doc2texi.el @@ -116,7 +116,7 @@ ;;; You may need to customize these variables: (defvar d2t-doc-file-name "gnuplot.doc" "Name of the gnuplot.doc file.") -(defvar d2t-terminal-directory (expand-file-name "../term/") +(defvar d2t-terminal-directory (expand-file-name "../../../term/") "Location of .trm files in gnuplot source tree.")
