diff --git a/doc/.gitignore b/doc/.gitignore index 2e7c6bf0..a5a90c27 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -5,3 +5,4 @@ /manual /notes.txt /version.texi +/gendocs_template_min diff --git a/gnulib b/gnulib index 1b6c775c..342d9f09 160000 --- a/gnulib +++ b/gnulib @@ -1 +1 @@ -Subproject commit 1b6c775c6b9c8054afcadc0aeb0ae39e81dc6387 +Subproject commit 342d9f09f2bab9a0380faa88787147bac4d48278