On 12/31/2010 04:58 PM, Raymond Toy wrote:
> On 12/31/10 4:36 AM, andre maute wrote:
>> On 12/31/2010 03:17 AM, Robert Dodier wrote:
>>> On 12/30/10, andre maute<andre.maute at gmx.de> wrote:
>>>
>>>> P.S: was either of the two mechanisms documented somewhere?
>>> Well, file_type is documented in the reference manual,
>>> but the description is out of date.
>> Well I meant if load can only load
>> files with a specific extension
>> that should be documented at the place where
>> the documentation of load is.
>>
> Yes, it should be documented.
>
> Alternatively, if you know it's a maxima file, then use batchload, which
> is what load does for a recognized maxima file.
>
> I will try to update $file_type to recognize max as a maxima extension
> and update the documention soon.
Thanks.
I know of batchload but I would have to refactor
too many files.
A happy new year to everyone here
Andre