$(top_srcdir)/include/xbt/graphxml.h: $(srcdir)/xbt/graphxml.dtd
set -e; flexml -P graphxml --sysid=graphxml.dtd -H $@ -L $^
sed 's/extern *\([^ ]*[ \*]*\)/XBT_PUBLIC_DATA(\1) /' -i $@
$(top_srcdir)/include/xbt/graphxml.h: $(srcdir)/xbt/graphxml.dtd
set -e; flexml -P graphxml --sysid=graphxml.dtd -H $@ -L $^
sed 's/extern *\([^ ]*[ \*]*\)/XBT_PUBLIC_DATA(\1) /' -i $@