diff man/anti.texi @ 46324:d992f5698971

(compilation-normalize-filename): New subroutine, taken out of compilation-parse-errors. (compilation-parse-errors): Use that, and for directories too. Don't check whether a directory really exists.
author Richard M. Stallman <rms@gnu.org>
date Fri, 12 Jul 2002 17:39:45 +0000
parents 7f6156d8c1af
children d9eb8b50a070
line wrap: on
line diff