You wrote: 

> Just FYI, the font in question is in xfonts-base, not xfonts-75dpi.

Sorry, that was actually a guess, which I should have noted.  I
couldn't figure out quickly how to tell -- I'm confused by the current
setup.  Perhaps it's worth a note in the doc directory with a recipe?


Reply via email to