From 0afa6f83db585564c38145f745a2e52bd5cb3740 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Tue, 25 Sep 2018 09:50:58 +0200 Subject: [PATCH] Fix dist. --- tools/cmake/DefinePackages.cmake | 1 - 1 file changed, 1 deletion(-) diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake index 655a240801..031d5f07dd 100644 --- a/tools/cmake/DefinePackages.cmake +++ b/tools/cmake/DefinePackages.cmake @@ -933,7 +933,6 @@ set(DOC_SOURCES docs/source/introduction.rst docs/source/intro_install.rst docs/source/intro_yours.rst - docs/source/main_concepts.rst docs/source/models.rst docs/source/platform.rst docs/source/scenar_config.rst -- 2.20.1