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 b2ede01..ac5c3ba 100644 (file)
--- a/include/Makefile.in
+++ b/include/Makefile.in
@@ -147,6 +147,7 @@ PACKAGE_VERSION = @PACKAGE_VERSION@
 PATH_SEPARATOR = @PATH_SEPARATOR@
 PTH_STACK_GROWTH = @PTH_STACK_GROWTH@
 RANLIB = @RANLIB@
+SED = @SED@
 SET_MAKE = @SET_MAKE@
 SHELL = @SHELL@
 SIMGRID_DEP = @SIMGRID_DEP@
@@ -248,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 \