[Pkg-octave-devel] Bug#778458: Bug#778458: Bug#778458: please strip times from generated doc-cache

[Rafael Laboissiere]

* Mike Miller <mtmiller at debian.org> [2015-02-15 10:37]:
>
> Consider also that I have fixed this in Octave itself. If you like the 
> upstream solution, you can apply this patch to 3.8 for now, and it will 
> be part of the 4.0 release soon:
>
>  http://hg.savannah.gnu.org/hgweb/octave/rev/72e32208ff77
>  https://savannah.gnu.org/bugs/?43087

Thanks for the suggestion, Mike.  However, I see that your change in 
script mk_doc_cache.m and in function doc_cache_create keeps 
OCTAVE_VERSION in the header of doc-cache.  This could be potential a 
potential source of non-reproducible builds (for instance, when building 
a package with different versions od Octave).  I think I will stick to 
Chris' patch.

Best

Rafael