[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: [Axiom-developer] ht.awk

From: Bill Page
Subject: RE: [Axiom-developer] ht.awk
Date: Thu, 16 Nov 2006 20:45:50 -0500

On November 16, 2006 6:04 PM Vanuxem Gregory wrote:
> Le jeudi 16 novembre 2006 à 23:13 +0100, Ralf Hemmecke a écrit :
> > Does somebody know where the file ht.awk is?
> > 
> > All the .ht files say...
> > 
> > % !! DO NOT MODIFY THIS FILE BY HAND !! Created by ht.awk.
> > 
> > So if there is/were a script that generates the .ht files, 
> > why keep them under source code control?
> I asked the same question some days ago (forget the typos)
> No other response so I'm assuming it is no longer available.


You asked about a file called 'ph.awk'. I do not know this file, but ...

On Mon, 13 Nov 2006 21:40:41 -0500 I replied to you:

> There are awk scripts like 'ht.awk' that sound similar to this
> in the htex directory that is part of the original Axiom source
> distribution (not currently in the Open Source version but could
> be if we want them, I think). Where can I find a reference to
> ph.awk?

I have a copy of this from the original source distribution from
NAG. For some reason Tim Daly never included it in the open source
version. It appears to contain all the mechanism required to produce
both the Axiom Book and the hyperdoc .ht files from another source
form called .htex files. There are scripts here that extract Axiom
commands and run them to produce output that is inserted in the
.htex files to create .tex files.

Tim, is there any legal reason why you did not include the htex
directory in the open source version of Axiom?

> And, Waldek, didn't you say that also the .pht files are generated?

Perhaps there is something here also to produce .pht files but
I did not find it right away. Also included in the htex directory
is the original tex linebreak program that is used on MathAction
and in the TeXmacs tm_axiom interface on Windows.

Bill Page.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]