delorie.com/archives/browse.cgi   search  
Mail Archives: djgpp/1998/11/10/09:01:41

Message-Id: <m0zdDxh-0001hTC@sloep106.cs.vu.nl>
Date: Tue, 10 Nov 98 14:36:00 MET
From: RJ vd Boon <rjvdboon AT cs DOT vu DOT nl>
To: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
cc: djgpp AT delorie DOT com
Subject: Re: ANNOUNCE: TeX/Web2c v7.2b ported and uploaded
Reply-To: djgpp AT delorie DOT com

In your letter dated Tue, 10 Nov 1998 15:14:53 +0200 (IST), you wrote:
> On 10 Nov 1998, Boon van der RJ wrote:
> > By the way, is it intentional that some important directories
> > (share/texmf and share/texmf/fonts) are unpacked with the read-only
> > attribute set?

> It's intentional: it causes the generated fonts to go to a different tree 
> (%DJDIR%/var/texfonts, see the DJGPP-specific README file which explains 
> that).

I've read it completely (twice), I only didn't notice any word like:
"by default the TEXMF and TEXMF/fonts are read-only" It might be
usefull to cut and paste the little explenation to TeX.README.

> I understand that you needed to remove the bit because you added 
> additional font files from CTAN to the TEXMF tree, and needed to run
> mktexlsr after adding them.

Almost (I added my already generated PK-files + some custom style-files).

[snip]
> Alternatively, you could unpack the additional fonts to yet another
> tree, and add it to TEXMF variable (or define TEXMFLOCAL variable
> which is by default not defined).
[snip]

You're completely right again ;-) What I did was the quickest hack,
what you suggest is a clean solution (notice the subtext of hack and
solution). I was so anxious to use the newest version I didn't look at
the new possibilities there are now. Tonight I'll add a new tree, plus
use the var/fonts method. Hope I won't find any bugs.

bye now, and thanks again,
 Robert
--
rjvdboon AT cs DOT vu DOT nl        | "En dat is niet waar!" sprak ex-Staatsecretaris-
www.cs.vu.nl/~rjvdboon   |    van-Onderwijs Netelenbos fel.

- Raw text -


  webmaster     delorie software   privacy  
  Copyright © 2019   by DJ Delorie     Updated Jul 2019