#! /bin/sh /usr/share/dpatch/dpatch-run ## 05_use_var_cache.dpatch by Ralf Treinen ## ## All lines beginning with `## DP:' are a description of the patch. ## DP: Use default cache for fonst,instead of the users home dir @DPATCH@ --- texmacs-1.0.6~/src/Plugins/Metafont/tex_files.cpp +++ texmacs-1.0.6/src/Plugins/Metafont/tex_files.cpp @@ -132,8 +132,7 @@ if (get_setting ("MAKETFM") == "maketfm"){ if (name(N(name) - 4, N(name)) == ".tfm") name = name (0, N(name) - 4); - s = "maketfm --dest-dir \"" * get_env("$TEXMACS_HOME_PATH") - * "\\fonts\\tfm\" " * name; + s = "maketfm "* name; if (DEBUG_VERBOSE) cout << "TeXmacs] Executing " << s << "\n"; system (s); } @@ -150,12 +149,10 @@ system (s); } if (get_setting ("MAKEPK") == "mktexpk") { - url pk_dir ("$TEXMACS_HOME_PATH/fonts/pk"); s="mktexpk " * string ("--dpi ") * as_string (dpi) * " " * string ("--bdpi ") * as_string (design_dpi) * " " * string ("--mag ") * as_string (dpi) *"/"* as_string (design_dpi) * " " * - string ("--destdir ") * as_string (pk_dir) * " " * name; if (DEBUG_VERBOSE) cout << "TeXmacs] Executing " << s << "\n"; system (s); @@ -167,8 +164,7 @@ * name * " " * as_string(dpi) * " " * as_string(design_dpi) * " " * as_string(dpi) * "%//" * as_string(design_dpi); #else - s = "makepk --dest-dir \"" - * get_env("$TEXMACS_HOME_PATH") * "\\fonts\\pk\" " + s = "makepk " * name * " " * as_string(dpi) * " " * as_string(design_dpi) * " " * as_string(dpi) * "/" * as_string(design_dpi); #endif