Le Tue, 23 Apr 2019 12:28:10 +0200, Miguel <rosen644...@gmail.com> a écrit :
> Hi Julien, > > First of all, thank you for your work. > > El Tue, 23 Apr 2019 09:28:19 +0200 > Julien Lepiller <jul...@lepiller.eu> escribió: > > This is a very good idea, but I think it leaves a stub texi that > > won't get rebuilt because it's younger than po files. > > Yes, you are right indeed. I didn't noticed because I was updating > the .po file manually. > > > What if we add a toucgh invocation to reset the modification time > > of these stubs, to ensure make will want to rebuild them? > > What about the attached patch? I've just tested it with the other > patch that seems to be missing or blocked by its size, nothing up my > sleeves this time. 0:-) > > Best regards, > Miguel Thank you! I've just pushed it and removed doc/guix.*.texi and doc/contributing.*.texi from the repository, added them to .gitignore too.