(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.

-- yozo.

Attachment: patch-devel-flex
Description: Binary data

Reply via email to