Re: 2.99.0 beta

Thomas Esser <[email protected]>
Newsgroups gmane.comp.tex.tetex.beta
Message-ID <[email protected]>
>     o	When I do "texconfig pdftex paper letter", it changes the file
> 	[some texmf directory]/tex/generic/config/pdftexconfig.tex, but
> 	it doesn't update pdflatex.fmt (and others).  The change does not

I plan to rewrite texconfig (not sure if this rewrite will make it into
teTeX-3.0 or if it takes longer. A quick fix to the current version is
added to this mail.

Thomas

--- tetex-src-beta-2.99.0.20041023/texk/tetex/texconfig	2004-04-01 20:33:21.000000000 +0200
+++ tetex-src/texk/tetex/texconfig	2004-10-24 10:45:13.528731460 +0200
@@ -441,14 +441,13 @@
   config_replace "$maketex_site_file" '^: ..DPI' ": \${DPI=$res_x}"
   config_replace "$pdftex_conf" '^\\pdfpkresolution' "\\pdfpkresolution=$res_x"
 
-  run_config_mf
-
+  run_config_allfmt
 }
 
-run_config_mf()
+run_config_allfmt()
 {
-  echo "Running mf to create plain base ..."
-  fmtutil --byfmt mf
+  echo "Recreating all format files ..."
+  fmtutil --all
   echo "Done."; echo
 }
 
@@ -582,6 +581,7 @@
     res_y=${3-$2}
   fi
   config_replace "$pdftex_conf" '^\\pdfpkresolution' "\\pdfpkresolution=$res_x"
+  run_config_allfmt
 }
 
 dvips_setup_printcmd()
@@ -1183,6 +1183,7 @@
 
   config_replace "$config" '^\\pdfpagewidth'  "\\pdfpagewidth=$width_true"
   config_replace "$config" '^\\pdfpageheight' "\\pdfpageheight=$height_true"
+  run_config_allfmt
 }
 
 setup_dvipdfm_paper()
@@ -1782,7 +1783,7 @@
 
 # The texmf tree where we put generated files into. Defaults to system tree:
 : ${TC_TEXMFLOCAL=`kpsewhich -expand-var='$TEXMFLOCAL'`}
-test -z "$TC_TEXMFLOCAL" && TC_TEXMFLOCAL=$TC_TEXMFMAIN
+{ test -z "$TC_TEXMFLOCAL" || test ! -d "$TC_TEXMFLOCAL"; } && TC_TEXMFLOCAL=$TC_TEXMFMAIN
 
 : ${TC_DFT_XDVI_APP=`XDVIINPUTS="$XDVIINPUTS":'$TEXMF/{xdvi,web2c}' kpsewhich -progname=xdvi --format='other text files' XDvi`}
 test -z "$TC_DFT_XDVI_APP" && TC_DFT_XDVI_APP="$TC_TEXMFMAIN/xdvi/XDvi"
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.