9fans - fans of the OS Plan 9 from Bell Labs
 help / color / mirror / Atom feed
* kerTeX: do update get_mk_install.rc to succeed
@ 2020-11-07  7:35 tlaronde
  0 siblings, 0 replies; only message in thread
From: tlaronde @ 2020-11-07  7:35 UTC (permalink / raw)
  To: 9fans

In the logs I see tries to install kerTeX on Plan9 but without hget'ing
first the last version of get_mk_install.rc.

But I have changed the name of the recipe for building the core (CM
compiled fonts and others; plain dumps). So the "old" script will work
by side effect because kertex.sh is still there; but if one updates
pkg/tools, the core and the script is removed.

Long explication: the pkg framework is file hierachy based. A pkg that
depends, say, on latex is under latex/. A "nickname" like
french@babel@tex will be put in tex/babel/french.

Since I use the pkg framework to compile the core fonts and the
core formats (plain METAFONT, plain TeX, plain e-TeX and plain
MetaPost) I had to give a name to the recipe. I called it "kertex"
but it was a bad idea:  what is "kertex"? The programs installed?
The package built? This was confusing. So I changed this. And in order
to have the same logics but not "pollute" the hierarchy with a spurious
"root" directory, it is now called tools@pkg.sh.

Other changes may happen in the future till the 1.0 release.

So when upgrading please do always retrieve the latest version of the
script since it is made to match the release.

        Thierry Laronde <tlaronde +AT+ polynum +dot+ com>
Key fingerprint = 0FF7 E906 FBAF FE95 FD89  250D 52B1 AE95 6006 F40C

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2020-11-07  7:35 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-11-07  7:35 kerTeX: do update get_mk_install.rc to succeed tlaronde

9fans - fans of the OS Plan 9 from Bell Labs

This inbox may be cloned and mirrored by anyone:

	git clone --mirror http://inbox.vuxu.org/9fans

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 9fans 9fans/ http://inbox.vuxu.org/9fans \
	public-inbox-index 9fans

Example config snippet for mirrors.
Newsgroup available over NNTP:

AGPL code for this site: git clone https://public-inbox.org/public-inbox.git