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 > [email protected] > http://lists.nongnu.org/mailman/listinfo/axiom-developer > _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
