Thanks, Vincent. Nevertheless, in my 1.11.3 source directory I had the two files, 1) dotlock.c 2) mutt_dotlock.c
Then I did a mv '1.11.3 source directory'/mutt_dotlock.c mutt/mutt_dotlock.c and a git status git add and now it's part of my latest mutt source installation (git-cloned) So, what I do not know and that's why I am bothering the developer list is whether "my mutt is duly dotlocked". (security,security :-) Anyway, thanks for your advice, merci pour votre assistance. felixs On Wed, Apr 10, 2019 at 03:16:30PM +0200, Vincent Lefevre wrote: > 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)
