Le 23 avril 2019 02:43:42 GMT+02:00, Miguel <rosen644...@gmail.com> a écrit :
>

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. What if we add a toucgh invocation 
to reset the modification time of these stubs, to ensure make will want to 
rebuild them?

Reply via email to