# HG changeset patch
# User Mike Miller <mtmiller@ieee.org>
# Date 1411249062 14400
# Node ID 72e32208ff772dc150dc34844131dc6940bb9b47
# Parent  bc640d4678fb2d7afc3f96ba8c55c2269ea01123
Don't save build timestamp in doc-cache header comment (bug #43087)

* doc/interpreter/mk_doc_cache.m: Remove timestamp from header format
string.
* scripts/help/doc_cache_create.m: Define save_header_format_string
locally to be consistent with mk_doc_cache.m

diff -r bc640d4678fb -r 72e32208ff77 doc/interpreter/mk_doc_cache.m
--- a/doc/interpreter/mk_doc_cache.m	Sat Sep 20 15:01:25 2014 -0700
+++ b/doc/interpreter/mk_doc_cache.m	Sat Sep 20 17:37:42 2014 -0400
@@ -133,5 +133,5 @@
 
 cache(:,k:end) = [];    # delete unused pre-allocated entries
 
-save_header_format_string (["# doc-cache created by Octave " OCTAVE_VERSION ", %a %b %d %H:%M:%S %Y %Z"]);
+save_header_format_string (["# doc-cache created by Octave " OCTAVE_VERSION]);
 save ("-text", output_file, "cache");
diff -r bc640d4678fb -r 72e32208ff77 scripts/help/doc_cache_create.m
--- a/scripts/help/doc_cache_create.m	Sat Sep 20 15:01:25 2014 -0700
+++ b/scripts/help/doc_cache_create.m	Sat Sep 20 17:37:42 2014 -0400
@@ -55,6 +55,7 @@
 
   ## Save cache
   if (! isempty (cache))
+     save_header_format_string (["# doc-cache created by Octave " OCTAVE_VERSION], "local");
      save ("-text", out_file, "cache");
   endif