X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/79e30a33db8c596e304b812671ad6ab569676baa..dfafe652e9ae62c35cd0fc084b117fc987b3e8dc:/MANIFEST.in

diff --git a/MANIFEST.in b/MANIFEST.in
index 958d8f40b5..322f765f6f 100644
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -1991,8 +1991,6 @@ include include/xbt/Extendable.hpp
 include include/xbt/PropertyHolder.hpp
 include include/xbt/asserts.h
 include include/xbt/asserts.hpp
-include include/xbt/automaton.h
-include include/xbt/automaton.hpp
 include include/xbt/backtrace.hpp
 include include/xbt/base.h
 include include/xbt/config.h
@@ -2522,13 +2520,6 @@ include src/sthread/sthread.h
 include src/sthread/sthread_impl.cpp
 include src/xbt/OsSemaphore.hpp
 include src/xbt/PropertyHolder.cpp
-include src/xbt/automaton/automaton.c
-include src/xbt/automaton/automaton_lexer.yy.c
-include src/xbt/automaton/automatonparse_promela.c
-include src/xbt/automaton/parserPromela.lex
-include src/xbt/automaton/parserPromela.tab.cacc
-include src/xbt/automaton/parserPromela.tab.hacc
-include src/xbt/automaton/parserPromela.yacc
 include src/xbt/backtrace.cpp
 include src/xbt/config.cpp
 include src/xbt/config_test.cpp