Re: [Axiom-developer] ht.awk

[Vanuxem Gregory]

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)
http://lists.gnu.org/archive/html/axiom-developer/2006-11/msg00436.html
No other response so I'm assuming it is no longer available.

Greg

> And, Waldek, didn't you say that also the .pht files are generated?
> 
> Ralf
> 
> 
> _______________________________________________
> Axiom-developer mailing list
> address@hidden
> http://lists.nongnu.org/mailman/listinfo/axiom-developer
>