[mira_talk] Re: Tags

  • From: Bastien Chevreux <bach@xxxxxxxxxxxx>
  • To: mira_talk@xxxxxxxxxxxxx
  • Date: Tue, 7 Jul 2009 20:54:18 +0200

On Dienstag 07 Juli 2009 Sven Klages wrote:
> Your GTAGDB is not read by gap4, put the MIRA GTAGDB either
> to$STADENROOT/tables/GTAGDB
> or into your home directory.

As a small followup: do not replace the original GTAGDB, merely append the one 
from the MIRA support directory to the existing file.

This also allows you to search the MIRA tags in gap4, so doing this is 
recommended.

Regards,
  Bastien

-- 
You have received this mail because you are subscribed to the mira_talk mailing 
list. For information on how to subscribe or unsubscribe, please visit 
http://www.chevreux.org/mira_mailinglists.html

Other related posts: