Hi Darshit, > I would like to apply the attached patch to Gnulib in order to improve > how gnu-web-doc-update works.
Thanks! The patch looks good. I'm about to commit it in your name; just one question: Is the email address <g...@darnir.net> working? In 2017 you used the email address <dar...@gnu.org>. Bruno
