diff options
author | jlam <jlam> | 2006-03-05 16:27:22 +0000 |
---|---|---|
committer | jlam <jlam> | 2006-03-05 16:27:22 +0000 |
commit | ce4bbe5f06174694c3b499219adedc4dab48cc15 (patch) | |
tree | e3c6cf61f7cffff30eee10d4bef3729227d7edcb /graphics/gif320 | |
parent | 8c289c620336c1910cc533433541050cac4530a4 (diff) | |
download | pkgsrc-ce4bbe5f06174694c3b499219adedc4dab48cc15.tar.gz |
* Teach the tools framework how to supply the pkgsrc version of
makeinfo if no native makeinfo executable exists. Honor TEXINFO_REQD
when determining whether the native makeinfo can be used.
* Remove USE_MAKEINFO and replace it with USE_TOOLS+=makeinfo.
* Get rid of all the "split" argument deduction for makeinfo since
the PLIST module already handles varying numbers of split info files
correctly.
NOTE: Platforms that have "makeinfo" in the base system should check
that the makeinfo entries of pkgsrc/mk/tools.${OPSYS}.mk are
correct.
Diffstat (limited to 'graphics/gif320')
0 files changed, 0 insertions, 0 deletions