diff man/reftex.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 2406cf2da1d4
children 9569bac241a3
line wrap: on
line diff