Fix error in CMakeLists.txt

kpeeters · kpeeters · commit 0e11ea90fa44 · 2019-10-22T11:22:03.000+01:00
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -54,7 +54,7 @@ endif()
 install(
   CODE
   "
-  if (NOT EXISTS \"\$ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/man/man1/cadabra2.1\")
+  if (EXISTS \"\$ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/man/man1/cadabra2.1\")
      message(FATAL_ERROR \"\nThe location of the Cadabra manual has changed since the last installation. Please remove the old files with 'make deduplicate'.\n\")
   endif()
   "

Original file line number	Diff line number	Diff line change
`@@ -54,7 +54,7 @@ endif()`
`54`	`54`	`install(`
`55`	`55`	`CODE`
`56`	`56`	`"`
`57`		`- if (NOT EXISTS \"\$ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/man/man1/cadabra2.1\")`
	`57`	`+ if (EXISTS \"\$ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/man/man1/cadabra2.1\")`
`58`	`58`	`message(FATAL_ERROR \"\nThe location of the Cadabra manual has changed since the last installation. Please remove the old files with 'make deduplicate'.\n\")`
`59`	`59`	`endif()`
`60`	`60`	`"`