[NTG-context] automatically regenerate database before making format

Arthur Reutenauer arthur.reutenauer at normalesup.org
Thu Jan 27 01:28:57 CET 2011


> And while at it, try update the database when "context" script is not
> found

  That is actually the exact same issue :-)

	Arthur


More information about the ntg-context mailing list