I believe there was a discussion yesterday about awk and escapes involving $, \ and debian. While working on the makefiles for something unrelated, I happen to notice that on a non-debian system I have the following warnings
awk: cmd. line:3: warning: escape sequence `\$' treated as plain `$' and so on. So, if you fix this; make sure you don't fix it "just" for debian. -- Gaby _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
