Hi,
On 2019-04-10 10:47:57 +0200, felixs wrote:
> is the file mutt_dotlock.c part of mutt's source code?
Yes and no. :) It is just a copy of dotlock.c, which is part of mutt's
source code.
The copy is done by
mutt_dotlock.c: dotlock.c
cp $(srcdir)/dotlock.c mutt_dotlock.c
in the Makefile.am file.
Now, I don't know why it is in the repository under the name
"dotlock.c" and not "mutt_dotlock.c".
--
Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
