
30 Sep
2008
30 Sep
'08
10:48 p.m.
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