From 09340655e1ab49ca7c5f480cb01303c7985f4e10 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 3 Sep 2018 09:34:38 +0200
Subject: [PATCH] fix make distcheck

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

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index 1ce6888840..cf18211017 100644
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -873,7 +873,6 @@ set(DOC_SOURCES
   doc/triva-time_interval.svg
 
   doc/doxygen/FAQ.doc
-  doc/doxygen/application.doc
   doc/doxygen/community.doc
   doc/doxygen/deployment.doc
   doc/doxygen/footer.html
-- 
2.20.1