--- Karl Berry <[EMAIL PROTECTED]> ha scritto:
> rm -f $$relfile $$relfile-[0-9]
> $$relfile-[0-9][0-9]; \
>
> Isn't that exactly what rms suggested?
yes, only enveloped in a for.
> It seems better (and way less work) than writing a
> new program that
> parses info files to find out the filenames to me.
Agreed.
CLaudio
___________________________________
Yahoo! Mail: gratis 1GB per i messaggi e allegati da 10MB
http://mail.yahoo.it
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-texinfo
