Menu

#3549 patch to mmref, and removing mmref.tex and maxima_pdf.texi from info directory

closed
nobody
5
2021-01-15
2019-04-25
No

On 2017/1/20 14:13, Gunter Königsmann wrote:

One thing mmref for some reason cannot do is to make pdf links to
commands work whose names contain an underscore ("_"). If anybody has an
idea how to fix that this idea is welcome, too.

I have got a solution. And, after putting the definition of mmref into category-macros.texi, then mmref.tex and maxima_pdf.texi could be removed from info directory. Please find the patch to mmref. Note that, the patch depends on the version of texinfo.tex, here, the one stored in the info directory.

However, I don't understand the Makefile and friends, so I don't touch them.

--- info.old/category-macros.texi 2016-04-03 05:42:45.000000000 +0800
+++ info/category-macros.texi 2019-04-23 08:35:04.989170900 +0800
@@ -163,4 +163,25 @@
@tex
\global\def\linkcolor{0 .5 0}
\global\def\urlcolor{0 0 .5}
+
+\global\def\setpdfdestname#1{%

  • \turnoffactive
  • \def\pdfdestname{#1}%
  • \txiescapepdf\pdfdestname
    +}
    +
    +\global\def\mmref#1#2{%
  • \ifpdf%
  • \setpdfdestname{#1}
  • {\leavevmode%
  • \startlink attr{/Border [0 0 0]}%
  • goto name{\pdfdestname}%
  • }%
  • \setcolor{\linkcolor}%
  • \fi%
  • 2%

  • \ifpdf%
  • \endlink%
  • \fi%
    +}
    @end tex

Discussion

  • Gunter Königsmann

    Tested the patch with the current release of texinfo and it works there, too => good work! Thanks a lot!

     
    • Jinsong Zhao

      Jinsong Zhao - 2019-04-26

      I have seen the patch is commit to the source code. In such case, the mmref.tex and maxima_pdf.texi in the info directory should be removed. Furthermore, the Makefile and friends also need to change correspondingly. However, I don't I don't understand them.

      Best,
      Jinsong

       
  • Gunter Königsmann

    • status: open --> closed
     
  • Leo Butler

    Leo Butler - 2021-01-15
     

Log in to post a comment.

MongoDB Logo MongoDB