diff leim/CXTERM-DIC/Punct.tit @ 82422:77d2d5f85dbc

(compilation-get-file-structure): Make use of the directory part when checking for an existing entry, to handle files with same basename in different directories.
author Glenn Morris <rgm@gnu.org>
date Fri, 17 Aug 2007 07:17:13 +0000
parents 746c40973d25
children eb7e8d483840 ef719132ddfa
line wrap: on
line diff