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

[simgrid.git] / include / Makefile.am

diff --git a/include/Makefile.am b/include/Makefile.am
index 23c6aa9..0095c4c 100644 (file)
--- a/include/Makefile.am
+++ b/include/Makefile.am
@@ -10,7 +10,7 @@ nobase_include_HEADERS = \
        xbt/misc.h \
        xbt/sysdep.h \
        xbt/virtu.h \
-       xbt/str.h \
+       xbt/str.h xbt/strbuff.h \
        xbt/function_types.h \
        xbt/asserts.h xbt/ex.h \
        xbt/log.h \
@@ -41,7 +41,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 \