diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2017-01-09 11:55:22 -0800 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2017-01-09 11:58:08 -0800 |
commit | e89646ad6f767a475ac83b31ffc00ba17372964c (patch) | |
tree | 880a78cef6e2b3ee5f777915b1c39a0206898a33 /doc/install.texi | |
parent | 8d98f32d60bb9ed073a18b5bcceab56ffe0cd990 (diff) | |
download | gnulib-e89646ad6f767a475ac83b31ffc00ba17372964c.tar.gz |
maint: time stamp -> timestamp
Use the spelling "timestamp", as that is what POSIX uses.
Diffstat (limited to 'doc/install.texi')
-rw-r--r-- | doc/install.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/install.texi b/doc/install.texi index 776eab1e54..1b9627d10d 100644 --- a/doc/install.texi +++ b/doc/install.texi @@ -262,7 +262,7 @@ use an ANSI C compiler: @noindent and if that doesn't work, install pre-built binaries of GCC for HP-UX. -HP-UX @command{make} updates targets which have the same time stamps as +HP-UX @command{make} updates targets which have the same timestamps as their prerequisites, which makes it generally unusable when shipped generated files such as @command{configure} are involved. Use GNU @command{make} instead. |