rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9]; \ Isn't that exactly what rms suggested?
It seems better (and way less work) than writing a new program that parses info files to find out the filenames to me. _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo/ [email protected] http://lists.gnu.org/mailman/listinfo/bug-texinfo
