diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index ee3471152db7c1ee05e7bff6d584f7305686e9ef..f79db8cc78374a9c8fee766322a65e3bf229de86 100644
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -89,6 +89,7 @@ if (DOXYGEN_FOUND)
             VERBATIM
             )
         # Copying files is necessary: https://stackoverflow.com/a/45808534/232888
+        execute_process(COMMAND ls -l)
 		FILE(COPY
 		    Examples.rst
 		    README_SETUP.md