# HG changeset patch # User Rik # Date 1349982808 25200 # Node ID ebe8c29644514d2b416e8dfff1efbbdbabdab360 # Parent 1cdca9bf7b7ec675c8f78a7ef090aaa9515b8ada Export doc-cache in distribution tarball (bug #37542) * doc/interpreter/Makefile.am: Add doc-cache to EXTRA_DIST target. * doc/interpreter/mk_doc_cache.m: Define save_header_format_string so that user and host information isn't exported into tarball. diff -r 1cdca9bf7b7e -r ebe8c2964451 doc/interpreter/Makefile.am --- a/doc/interpreter/Makefile.am Tue Dec 04 13:52:51 2012 -0500 +++ b/doc/interpreter/Makefile.am Thu Oct 11 12:13:28 2012 -0700 @@ -241,6 +241,7 @@ EXTRA_DIST = \ config-images.sh \ contributors.in \ + doc-cache \ find-docstring-files.sh \ images \ images.awk \ diff -r 1cdca9bf7b7e -r ebe8c2964451 doc/interpreter/mk_doc_cache.m --- a/doc/interpreter/mk_doc_cache.m Tue Dec 04 13:52:51 2012 -0500 +++ b/doc/interpreter/mk_doc_cache.m Thu Oct 11 12:13:28 2012 -0700 @@ -118,4 +118,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 ("-text", output_file, "cache");