diff --git a/man/files.texi b/man/files.texi index fd83d2e3b47c6830825a4e6642e51c0feca3e1e5..e6729601b84522b964a8b2a8359d9ec51e37a0ac 100644 --- a/man/files.texi +++ b/man/files.texi @@ -832,7 +832,7 @@ Time-stamp: <> or like this: @example -Time-stamp: "" +Time-stamp: " " @end example Then add the hook function @code{time-stamp} to the hook