edd 06e31ed6b0 Fix ports using texinfo during the build stage.
texinfo was removed from texlive in favour of the existing port.

Spotted by naddy@ in a bulk, thanks.
2017-05-22 18:28:02 +00:00
..
2017-04-19 21:16:43 +00:00
2016-06-03 11:57:56 +00:00
2016-06-03 11:57:56 +00:00
2017-04-24 07:31:43 +00:00
2016-06-03 11:57:56 +00:00
2016-06-03 11:57:56 +00:00
2017-04-19 21:10:10 +00:00
2016-06-03 11:57:56 +00:00
2016-08-29 09:11:22 +00:00
2016-07-09 09:09:08 +00:00
2015-10-26 12:41:14 +00:00