Ticket #38744: maxima-printable-docs-texi2dvi-workaround.diff

File maxima-printable-docs-texi2dvi-workaround.diff, 997 bytes (added by Ionic (Mihai Moldovan), 10 years ago)

Workaround buggy texi2dvi being incompatible with bsdsed with an ugly hack forcing usage of gsed in the maxima Portfile. Should be fixed upstream or by the texlive maintainer.

  • Portfile

    old new  
    6767test.target check
    6868
    6969variant printable_doc description {Build printable documentation} {
    70     depends_build-append    port:texlive
     70    depends_build-append    port:texlive \
     71                            port:gsed
    7172    build.target            all pdf
    7273
     74    post-extract {
     75        reinplace "s|= texi2dvi|= PATH=\"${prefix}/libexec/gnubin:\$\$PATH\" texi2dvi|g" \
     76                  doc/info/de/Makefile.in \
     77                  doc/info/es/Makefile.in \
     78                  doc/info/Makefile.in \
     79                  doc/info/pt/Makefile.in \
     80                  doc/info/pt_BR/Makefile.in \
     81                  interfaces/emacs/imaxima/Makefile.in \
     82                  interfaces/xmaxima/doc/Makefile.in
     83    }
     84
    7385    pre-destroot {
    7486        xinstall -d -m 755 ${destroot}${prefix}/share/${name}/${version}/doc/pdf
    7587        xinstall -m 644 ${worksrcpath}/doc/info/maxima.pdf \