On Dec 20, 2012, at 10:34 PM, François Poulain <[email protected]> wrote:
> Is mktexpk available on your install ? It may be needed.
No it isn't. But it isn't on my desktop computer either, where TeXmacs compiles
and runs without problem. Also it seems this tool is only needed if
get_setting("MAKEPK")=="mktexpk", and this is not my case: these are the
contents of settings.scm:
(VERSION "1.0.7.17")
(KPSEPATH "false")
(KPSEWHICH "false")
(MAKETFM "false")
(MAKEPK "false")
(TEXHASH "false")
(DPI "600")
(TFM "{}")
(PK "{}")
(PFB "{}")
Best,
Miguel.
_______________________________________________
Texmacs-dev mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/texmacs-dev
