On 31 Aug 2002 at 19:34, Gary Paulson wrote:

>     deprecated( "db_file", "doc_file" )
> NameError: deprecated

Hi Gary,

This is a parser issue, most likely. Bill Janssen is away on vacation so he 
can't give his input right now. Not looking at the parser code, but just 
that error message, it may have been that the db_file= and db_name= keys are 
no longer valid and must be replaced with the newer doc_file= and doc_name= 
keys (I barely felt like supporting these old keys either to be honest, so I 
wouldn't be surprised if they were finally expunged out of the parser). 

However, there should probably be some sort of optional "de-lint" 
functionality added somewhere to automatically convert/remove any 
depreciated keys from your plucker.ini/.pluckerrc.

You may wish to open a bug report on this, so you can monitor the status.

Best wishes,
Robert
_______________________________________________
plucker-list mailing list
[EMAIL PROTECTED]
http://lists.rubberchicken.org/mailman/listinfo/plucker-list

Reply via email to