diff --git a/doc/Makefile.am b/doc/Makefile.am
index 684c1db..68531ee 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -22,7 +22,7 @@ grep_TEXINFOS = fdl.texi
 man_MANS = grep.1 fgrep.1 egrep.1
 
 EXTRA_DIST = grep.in.1
-CLEANFILES = grep.1 egrep.1 fgrep.1
+CLEANFILES = grep.1 egrep.1 fgrep.1 stamp-vti version.texi
 
 grep.1: grep.in.1
 	$(AM_V_GEN)rm -f address@hidden $@
diff --git a/gnulib b/gnulib
index 46d015f..8415b67 160000
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit 46d015f9c3c959d2d9b9c3b9e9c99f3f420277b0
+Subproject commit 8415b6792e53f9aa309caedda799f9d9f3dffc53