Merge branch origin/release-2020 into master

[alexxy/gromacs.git] / docs / CMakeLists.txt

diff --git a/docs/CMakeLists.txt b/docs/CMakeLists.txt
index 7ae8491fe94016814d0abaee4fec1ae615fca81c..4b26f87467a3157c43f2d93bcf4cf9073273f376 100644 (file)
--- a/docs/CMakeLists.txt
+++ b/docs/CMakeLists.txt
@@ -517,8 +517,6 @@ if (SPHINX_FOUND)
     else()
         gmx_add_sphinx_source_files(FILES
             dev-manual/releng/index.rst
-            dev-manual/releng/jenkins-howto.rst
-            dev-manual/releng/jenkins-ui.rst
             )
     endif()