|
From: Raymond T. <toy...@gm...> - 2015-08-31 15:32:22
|
>>>>> "Robert" == Robert Dodier <rob...@gm...> writes:
Robert> 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.
Robert> I agree it would be good for build_index.pl to verify that all items
Robert> have valid values. I guess that would be easy -- at the point where
Robert> stuff is emitted, just check the outgoing values. It would also be
Robert> possible to check all items when the index is loaded into Maxima.
If you handle the build_index.pl side, I can handle the index loading
checks in Maxima. :-)
--
Ray
|