![](https://secure.gravatar.com/avatar/6114858d84b0f40cf715f12237ab67a1.jpg?s=120&d=mm&r=g)
On 9/29/07, Hans Hagen wrote:
Michal Kvasnička wrote:
P.S. Hans, would it be possible to add the Metafont into the minimal distribution? I like it so much I'd like to make it my major distribution even in Linux, but I need the Metafont since from time to time I still use some bitmapped font (like Concrete Math). Many thanks.
only the binary i assume? you also have to convince mojca, the minimal gardener
I don't have time during the weekend and in the following days (I need to go now), but that should not be a problem. The goal of "ConTeXt minimals" is to be "as minimal as possible" but if there will be a new system with a possibility to add binaries on user's request (like modules/packages with rsync), adding metafont should not be a problem. What exactly is needed for metafont? "locate" returns me these: % is that a format which needs to be generated automatically, like cont-en.fmt? /usr/local/gwTeX/texmf.local/web2c/metafont/mf.base % probably all are needed /usr/local/gwTeX/texmf.texlive/metafont/base/expr.mf /usr/local/gwTeX/texmf.texlive/metafont/base/io.mf /usr/local/gwTeX/texmf.texlive/metafont/base/mf.mf /usr/local/gwTeX/texmf.texlive/metafont/base/null.mf /usr/local/gwTeX/texmf.texlive/metafont/base/plain.mf % no idea about those, but the priority is *not* to add what is not needed % rather than adding anything that could be useful in theory /usr/local/gwTeX/texmf.texlive/metafont/config/cmmf.ini /usr/local/gwTeX/texmf.texlive/metafont/config/mf.ini /usr/local/gwTeX/texmf.texlive/metafont/mfpic/grafbase.mf /usr/local/gwTeX/texmf.texlive/metafont/misc/3test.mf /usr/local/gwTeX/texmf.texlive/metafont/misc/6test.mf /usr/local/gwTeX/texmf.texlive/metafont/misc/mode2dpi.mf /usr/local/gwTeX/texmf.texlive/metafont/misc/mode2dpixy.mf /usr/local/gwTeX/texmf.texlive/metafont/misc/modename.mf /usr/local/gwTeX/texmf.texlive/metafont/misc/modes.mf /usr/local/gwTeX/texmf.texlive/metafont/misc/ps2mfbas.mf /usr/local/gwTeX/texmf.texlive/metafont/misc/rtest.mf /usr/local/gwTeX/texmf.texlive/metafont/misc/test.mf /usr/local/gwTeX/texmf.texlive/metafont/misc/waits.mf /usr/local/gwTeX/texmf.texlive/metafont/misc/ztest.mf Also: - platform-specific binary - mf.pool Which ones are (not) needed? Did I forget anything? Some binaries? The manual lists some other programs. What are those? Which ones could theoretically be needed? gftopk(1), gftodvi(1), gftype(1), mft(1), pltotf(1), tftopl(1) However, my next question before you ask it: you're probably going to request that some fonts need to be added, right? Mojca PS before anyone alse asks it: no, if you want to use LaTeX, use some other distribution instead