Hi Karl, > You're saying those variables ended up not getting expanded?
Yes, exactly. > $ find -name Makefile | grep '@[A-Za-z0-9_]*@' Hm... You are running grep on the filenames, not on the file contents... Anyway, I don't think that this bug is important. Thomas _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
