# HG changeset patch # User Mike Becker # Date 1632650618 -7200 # Node ID ab30d32ae798343c52f77a4ef8ffb78b5b711947 # Parent a79b2388db5e903024237df0556ef7bc77453511# Parent 4b1203dbd0a66f5905be07ae33b2fd1dad4f38d8 merge with remote default diff -r a79b2388db5e -r ab30d32ae798 docs/src/CMakeLists.txt --- a/docs/src/CMakeLists.txt Sun Sep 26 12:01:25 2021 +0200 +++ b/docs/src/CMakeLists.txt Sun Sep 26 12:03:38 2021 +0200 @@ -34,7 +34,7 @@ if (NOT EXISTS ${PANDOC_EXECUTABLE}) find_program(PANDOC_EXECUTABLE pandoc) if(NOT EXISTS ${PANDOC_EXECUTABLE}) - message(WARNING Pandoc not found, docs-html target will not be generated.) + message(WARNING "Pandoc not found, docs-html target will not be generated.") return() endif() endif()