Re: utf-8.ps not installed

[Lars H. <lhe...@us...>]

> I don't think the dust has settled yet from adding UTF-8 support.
> I doubt many people have used these yet.
> Would it be easier if they were renamed to unicode.* ?
> 
> unicode_big.map		-> unicode.big_map
> unicode_maps.README	-> unicode.README
> unicode_small.map	-> unicode.small_map
> <doesn't exist yet>	-> unicode.math_map

 I haven't really followed UTF-8 support and do not know the significance
 of these files :) I'll just check in what I have now, and we can make
 more changes if and when necessary.