Merge release-5-0 into master

[alexxy/gromacs.git] / docs / old-html / CMakeLists.txt

diff --git a/docs/old-html/CMakeLists.txt b/docs/old-html/CMakeLists.txt
index 861151879c922bfdb290c138c33c6dbe3f7cfbbf..176901b7ed0189ac6bb9688c3e2bb266e9c38857 100644 (file)
--- a/docs/old-html/CMakeLists.txt
+++ b/docs/old-html/CMakeLists.txt
@@ -35,13 +35,6 @@
 set(OUTPUT_DIR final)
 set(HTML_PAGE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/${OUTPUT_DIR})
 
-if(SOURCE_IS_SOURCE_DISTRIBUTION)
-    # Make sure source package contains HTML pages.
-    if(NOT EXISTS "${HTML_PAGE_DIR}/online.html")
-        message(FATAL_ERROR "Online HTML pages are missing from source package.")
-    endif()
-endif()
-
 add_custom_target(html
     ${CMAKE_COMMAND}
     -D SOURCE_HTML_DIR=${CMAKE_CURRENT_SOURCE_DIR}