fix make dist (missing doc parts)

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index 1941bb0..bbffae4 100644 (file)
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -867,6 +867,15 @@ set(DOC_SOURCES
   docs/source/conf.py
   docs/source/Doxyfile
   docs/source/_ext/hidden_code_block.py
+  docs/source/_ext/javasphinx-apidoc
+  docs/source/_ext/javasphinx/apidoc.py
+  docs/source/_ext/javasphinx/compiler.py
+  docs/source/_ext/javasphinx/domain.py
+  docs/source/_ext/javasphinx/extdoc.py
+  docs/source/_ext/javasphinx/formatter.py
+  docs/source/_ext/javasphinx/htmlrst.py
+  docs/source/_ext/javasphinx/__init__.py
+  docs/source/_ext/javasphinx/util.py
   docs/source/_templates/breadcrumbs.html
 
   docs/source/img/eclipseScreenShot.png
@@ -1082,6 +1091,7 @@ set(CMAKE_SOURCE_FILES
   tools/stack-cleaner/README
   
   setup.py 
+  MANIFEST.in
   MANIFEST.in.in
   )