[File] tex: Improve dvi and virtualfont detection

Tue Dec 20 20:38:30 UTC 2022

An embedded and charset-unspecified text was scrubbed...
Name: not available
URL: <https://mailman.astron.com/pipermail/file/attachments/20221220/30f669a0/attachment.ksh>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: tex-improvments.patch
Type: text/x-diff
Size: 733 bytes
Desc: not available
URL: <https://mailman.astron.com/pipermail/file/attachments/20221220/30f669a0/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <https://mailman.astron.com/pipermail/file/attachments/20221220/30f669a0/attachment.asc>