diff options
| -rw-r--r-- | doc/.gitignore | 1 | ||||
| -rw-r--r-- | doc/Makefile.am | 2 | ||||
| -rw-r--r-- | doc/coreutils.texi | 2 | ||||
| m--------- | gnulib | 0 |
4 files changed, 3 insertions, 2 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index 8d1fd2482..f224ac700 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -17,6 +17,7 @@ coreutils.tp coreutils.vr fdl.texi gendocs_template +get_date.texi getdate.texi stamp-vti version.texi diff --git a/doc/Makefile.am b/doc/Makefile.am index e7553e057..e58f17350 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -17,7 +17,7 @@ info_TEXINFOS = coreutils.texi -EXTRA_DIST = perm.texi getdate.texi constants.texi fdl.texi +EXTRA_DIST = perm.texi get_date.texi constants.texi fdl.texi # The following is necessary if the package name is 8 characters or longer. # If the info documentation would be split into 10 or more separate files, diff --git a/doc/coreutils.texi b/doc/coreutils.texi index 170ce0c37..52f1b2000 100644 --- a/doc/coreutils.texi +++ b/doc/coreutils.texi @@ -15675,7 +15675,7 @@ outputs 1.0000000000000000007 twice and skips 1.0000000000000000008. @chapter File permissions @include perm.texi -@include getdate.texi +@include get_date.texi @c What's GNU? @c Arnold Robbins diff --git a/gnulib b/gnulib -Subproject 7aa768c4823966db325c48ea4af540c4db5d474 +Subproject a88d2561c2cdb9bde56bec1c858a5f64c6ad28c |