[Top][All Lists]

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

Re: [Axiom-developer] ht.awk

From: Vanuxem Gregory
Subject: Re: [Axiom-developer] ht.awk
Date: Fri, 17 Nov 2006 00:04:07 +0100

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.


> And, Waldek, didn't you say that also the .pht files are generated?
> Ralf
> _______________________________________________
> Axiom-developer mailing list
> address@hidden

reply via email to

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