From 632e1e6de38db4fcf4bb933bbc8c5bb636fcc8f3 Mon Sep 17 00:00:00 2001
From: navarro <navarro@caraja.(none)>
Date: Thu, 25 Oct 2012 11:31:19 +0200
Subject: [PATCH 1/1] Add dev_guide files to the distrib.

---
 buildtools/Cmake/DefinePackages.cmake | 1 +
 buildtools/Cmake/Distrib.cmake        | 1 +
 2 files changed, 2 insertions(+)

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 4a5dc5aacf..f72a1db1b8 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -782,6 +782,7 @@ set(CMAKE_SOURCE_FILES
   buildtools/Cmake/GenerateDocWin.cmake
   buildtools/Cmake/GenerateRefGuide.cmake
   buildtools/Cmake/GenerateUserGuide.cmake
+  buildtools/Cmake/GenerateDevGuide.cmake
   buildtools/Cmake/MaintainerMode.cmake
   buildtools/Cmake/MakeExe.cmake
   buildtools/Cmake/MakeLib.cmake
diff --git a/buildtools/Cmake/Distrib.cmake b/buildtools/Cmake/Distrib.cmake
index c8622b8090..2a9d084f56 100644
--- a/buildtools/Cmake/Distrib.cmake
+++ b/buildtools/Cmake/Distrib.cmake
@@ -216,6 +216,7 @@ set(source_to_pack
   ${DOC_SOURCES}
   ${REF_GUIDE_SOURCES}
   ${USER_GUIDE_SOURCES}
+  ${DEV_GUIDE_SOURCES}
   ${PLATFORMS_EXAMPLES}
   ${README_files}
   ${bin_files}
-- 
2.20.1