Trouble generating INDEX

[Andrea Venturoli]

Hello.

Since yesterday I cannot generate INDEX on my system anymore.

After a svn update, portsdb -uU gives:

> Updating the ports index ... Generating INDEX20151112-25196-13whzns - please wait..
 > make_index: /usr/ports/audio/amarok-kde4:
 > no entry for /usr/ports/databases/mysql51-server
> Done.
> failed to generate INDEX!
> portsdb: index generation error


Yet I saw no mention of this on the mailing lists and a websearch didn't 
produce any result.

Is it a general problem or a problem on my box?

  bye & Thanks
	av.