-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 > > 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
then, we need to add TeX dependency. well, I check flex-2.5.39.tar.gz and found that flex.pdf and other info files are already included. I don't examine yet why Make tries to generate them again, but patching Makefile will be better to copy info and pdf files on install instead of generating them again? -- yozo. -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQEcBAEBCgAGBQJWBkzDAAoJEK+k7aJ0CeA3idcH/RYPuZndKjJpThzwQIxCp0OW li9mK1ibDRcjTSIelb8XE7r3J+5ET7Q6GvbY8gfeix7C/yLiC3RSkbFTibVm5J/S UW6TTvywYTarD6a/c2PUddZ9E8NprNMmc6s/FKBTUYHSPnrwufWWNQcKI4JeuC5H 9DXVtdfHQ6k3r8L6cGnmWGznrgT+JxFOUlhSUGVu0T+M98abTRgeODgheMLkSHhI bz63Etewsg2AQzQPzbpianjvOWFep8N+8vUIqsHx/eD2pFYeyNrZiwNmJfjjAheW ab+f+FwV9cJBe8xpVrGg7DuFkwsjNab7bNOztTnIK8dDKqAbh6pNbHCWIS6ZtF8= =fjO1 -----END PGP SIGNATURE-----
