diff Makefile.in @ 84620:71ee9cbb96e8

(tex-compilation-parse-errors): Prefer the filename from `--file-line-error', if it is available.
author Glenn Morris <rgm@gnu.org>
date Mon, 17 Sep 2007 07:04:46 +0000
parents 334c557039a0
children 32a99bd66e4c 14c4a6aac623
line wrap: on
line diff