[FFmpeg-trac] #3867(documentation:new): PDF documentation fails to build on LINUX.

[FFmpeg]

#3867: PDF documentation fails to build on LINUX.
--------------------------------+-----------------------------------------
             Reporter:  cjg     |                    Owner:
                 Type:  defect  |                   Status:  new
             Priority:  normal  |                Component:  documentation
              Version:  2.3     |               Resolution:
             Keywords:          |               Blocked By:
             Blocking:          |  Reproduced by developer:  0
Analyzed by developer:  0       |
--------------------------------+-----------------------------------------

Comment (by cjg):

 Replying to [comment:1 Cigaes]:
 > Does it help if you modify {{{doc/platform.texi}}}:
 > {{{
 > lib /machine:i386 /def:..\lib\foo-version.def  /out:foo.lib
 > }}}
 > and replace the two backslashes with {{{‍@backslashchar{}‍}}}?
 >
 > (I did not know we could generate PDF docs. Not that I find that useful
 compared to man and HTML... And why does trac suddenly put everything in
 bold?)

 Hello,

 By replacing those two backslashes with {{{‍@backslashchar{}‍}}} does
 indeed fix the issue thanks.  The popd directive exits correctly and pdf
 and dvi documents are produced.

 Regards,

 Christopher.

--
Ticket URL: <https://trac.ffmpeg.org/ticket/3867#comment:5>
FFmpeg <https://ffmpeg.org>
FFmpeg issue tracker