diff options
author | Gary V. Vaughan <gary@gnu.org> | 2015-01-16 18:32:43 +0000 |
---|---|---|
committer | Gary V. Vaughan <gary@gnu.org> | 2015-01-16 18:50:46 +0000 |
commit | ec43ff6eff3ecbc11392e6af3549d55016a11f0a (patch) | |
tree | 91363de22be66125bd1d569fcd80b1321b4f19a4 | |
parent | c6ed4148b0981d39d95b67013716d77c5ac9c420 (diff) | |
download | libtool-ec43ff6eff3ecbc11392e6af3549d55016a11f0a.tar.gz |
gnulib: sync with upstream.
* gnulib: Sync with upstream.
* doc/.gitignore: Regenerate.
Signed-off-by: Gary V. Vaughan <gary@gnu.org>
-rw-r--r-- | doc/.gitignore | 1 | ||||
m--------- | gnulib | 0 |
2 files changed, 1 insertions, 0 deletions
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 -Subproject 1b6c775c6b9c8054afcadc0aeb0ae39e81dc638 +Subproject 342d9f09f2bab9a0380faa88787147bac4d4827 |