[tex-live] Change to collection-binextra.tpm

[Sebastian Rahtz]

Norbert Preining wrote:

>Second: Missing files mentioned in tpm files: When building the deb
>packages the scripts moans that some files which are mentioned in tpm
>files are not present in the actual distribution.
>
>Can you take a look at it and tell me wether this is only a problem
>solved by revbuilding the tpm files or are there other problems.
>  
>
its extremely likely to be just a tpm-regeneration job.

I have submitted changes.

-- 
Sebastian Rahtz      
Information Manager, Oxford University Computing Services
13 Banbury Road, Oxford OX2 6NN. Phone +44 1865 283431

OSS Watch: JISC Open Source Advisory Service
http://www.oss-watch.ac.uk