|
From: Robert D. <rob...@gm...> - 2015-08-30 21:25:48
|
On 2015-08-30, Raymond Toy <toy...@gm...> wrote: > However, I think build_index.pl should check that the output doesn't > include the default values for the file name and offset. That would > seem to be an error to me. I'd fix this myself, but I can barely read > perl, so it would take me quite some time to fix. This would at least > have caught the issue. I agree it would be good for build_index.pl to verify that all items have valid values. I guess that would be easy -- at the point where stuff is emitted, just check the outgoing values. It would also be possible to check all items when the index is loaded into Maxima. best, Robert Dodier |