Dimitri van Heesch wrote:
Hi Roberto,
The internal error is a bug indeed, see also http://bugzilla.gnome.org/show_bug.cgi?id=554379 The temporary workaround is to enable the HTML output.
Hi Dimitri, thanks for the prompt answer. I cannot enable the HTML output because this would disrupt my scripts. I will wait for 1.5.7.1.
As for the other warnings. They should be somewhere in a config file. Maybe you have a config file that includes another one? then it would still be incorrect that doxygen points to the wrong file/line, so please let me know if that is the case.
You are right: my fault for those. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it