Thanks for the feedback Norbert. As you say, the fonts are easy to install, but I prefer to use .deb packages so that my system doesn't get polluted. I've created my own .deb file that installs the fonts in /usr/share/texmf; I was going to inquire about contributing my package to Debian/Ubuntu, but I guess you beat me to it.
Thanks for the feedback Norbert. As you say, the fonts are easy to install, but I prefer to use .deb packages so that my system doesn't get polluted. I've created my own .deb file that installs the fonts in /usr/share/texmf; I was going to inquire about contributing my package to Debian/Ubuntu, but I guess you beat me to it.
Stephan