From e71bed1a3ea97630488d3fe555fbe54a3d1c283b Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Sat, 25 Aug 2018 11:07:28 +0200
Subject: [PATCH] fix make dist

---
 tools/cmake/DefinePackages.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index 7467088055..f9c2dabede 100644
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -749,7 +749,6 @@ set(headers_to_install
   include/xbt/dict.h
   include/xbt/dynar.h
   include/xbt/ex.h
-  include/xbt/exception.hpp
   include/xbt/Extendable.hpp
   include/xbt/file.hpp
   include/xbt/functional.hpp
@@ -930,6 +929,7 @@ set(DOC_SOURCES
   docs/source/img/graphical-toc.svg
 
   docs/source/application.rst
+  docs/source/app_s4u.rst
   docs/source/index.rst
   docs/source/intro_concepts.rst
   docs/source/introduction.rst
-- 
2.20.1