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