Menu

#3754 doc/info/build_html.sh.in should not hard-code "python"

None
closed
nobody
None
5
2022-08-05
2021-03-25
No

The doc/info/build_html.sh script was caught running "python" directly instead of using the python command found by the ./configure script. This is easy to fix, though, given that build_html.sh is produced from build_html.sh.in after making autoconf substitutions. All we have to do is replace python by @PYTHON@ I think.

Discussion

  • Michael Orlitzky

    Here's a patch that is so simple it can't possibly (ha HA) be wrong. I'll test it out in Gentoo but it seems to work locally.

     
  • Kris Katterjohn

    Kris Katterjohn - 2022-08-05
    • status: open --> closed
     
  • Kris Katterjohn

    Kris Katterjohn - 2022-08-05

    Hi Michael. Thanks for the report and the patch, and sorry it never got applied.

    But the good news is that the hard-coded python should not be a problem any longer. In fact, Python is no longer used here at all. So I'm closing this ticket.

     

Log in to post a comment.

Auth0 Logo