karl at freefriends.org
Mon Mar 28 19:46:31 CEST 2005
A more general approach has to be taken.
When I devised those names originally, I did not realize that they would
be used from scripts and hence there would be quoting issues. They were
more meant to be descriptive.
Adding spaceless "identifiers" for them all seems like a good idea to
me, so that programming can be easier in the future.
As far as type42 and opentype goes, I don't see any need for the
"<space> fonts". After all, it's not "pk fonts", it's just "pk". (etc.)
More information about the tex-live