summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSami Kerola <kerolasa@iki.fi>2017-03-03 20:11:28 +0000
committerSami Kerola <kerolasa@iki.fi>2017-03-03 20:28:57 +0000
commitefe2ebb798124f00a184fbea9742c3c2beb098b5 (patch)
tree88f1e3e9d9797a02da475afa8c8ccde823520cde
parent53fd7516f2ac78a614a8bb023538e9f1eaccfe8f (diff)
maint: update gnulib
* Jump 867 commits a head from b9bfe78424b87 to d3181471f95c8. * build-aux/.gitignore: Add file from gnulib to ignore list. * doc/.gitignore: Likewise.
-rw-r--r--build-aux/.gitignore1
-rw-r--r--doc/.gitignore1
m---------gnulib0
3 files changed, 2 insertions, 0 deletions
diff --git a/build-aux/.gitignore b/build-aux/.gitignore
index b077960..e6835de 100644
--- a/build-aux/.gitignore
+++ b/build-aux/.gitignore
@@ -1,4 +1,5 @@
/announce-gen
+/ar-lib
/compile
/config.guess
/config.rpath
diff --git a/doc/.gitignore b/doc/.gitignore
index 5771373..cc78a11 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,3 +1,4 @@
/fdl.texi
/version.texi
/gendocs_template
+/gendocs_template_min
diff --git a/gnulib b/gnulib
-Subproject b9bfe78424b871f5b92e5ee9e7d21ef951a6801
+Subproject d3181471f95c870e9485be947608be84f7fe532