X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=build-aux%2Fgnu-web-doc-update;h=91902c5c462fd09af2c7266192ff669c261187f7;hb=410c78258465d505825b89ff23541bd26ce08e89;hp=adf6c5179cfda1747a8ba96aa79a0d26a754b28e;hpb=faf52e824a51a93d173ed97c8901415a0be19481;p=gnulib.git diff --git a/build-aux/gnu-web-doc-update b/build-aux/gnu-web-doc-update index adf6c5179..91902c5c4 100755 --- a/build-aux/gnu-web-doc-update +++ b/build-aux/gnu-web-doc-update @@ -37,8 +37,9 @@ help_version() --help) cat <