kill properly the surfxml.h file since it got renamed to simgrid_dtd.h a while ago

[simgrid.git] / include / Makefile.in

diff --git a/include/Makefile.in b/include/Makefile.in
index 996780b..ac5c3ba 100644 (file)
--- a/include/Makefile.in
+++ b/include/Makefile.in
@@ -249,7 +249,7 @@ nobase_include_HEADERS = \
        smpi/smpi.h \
        \
        surf/surfxml_parse.h \
-       surf/surfxml.h \
+       surf/simgrid_dtd.h \
        \
        gras/datadesc.h gras/transport.h \
        gras/virtu.h gras/emul.h gras/process.h gras/module.h \