Hi, Yozo TODA <yozo.t...@gmail.com> writes:
> (I sent this message yesterday, but the server rejected it because my > provider's mail server is > classified as UCEProtect level1. Now I'm sending this from gmail account...) > > I found that flex port tries to build flex.pdf, requiring TeX but no > dependency. > I believe the PDF document is not necessary because it already > contains info document > (flex.info, flex.info-1, flex.info-2). > > Here is a patch to remove pdf creation. Some people hate the info format and would probably prefer reading the pdf. Also, the only advantage is 500KB saved on disk, not even a reduction of the build deps. This is not a desirable change IMO. -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
