diff --git a/user_manual/Makefile b/user_manual/Makefile
index 21f40d1ea839695b187046d935f7a0d43e4040a3..779833bd3867df27a0d3a6c143fa51166ebd0e4e 100644
--- a/user_manual/Makefile
+++ b/user_manual/Makefile
@@ -9,8 +9,8 @@ SOURCEDIR     = .
 BUILDDIR      = _sphinx_build
 
 ZIPPED_EXAMPLES := zipped-examples
-ZIPPED_EXAMPLES_ABS := $(shell readlink -f $(ZIPPED_EXAMPLES))
-EXAMPLES_DIR := $(shell readlink -f examples)
+ZIPPED_EXAMPLES_ABS := $(shell pwd)/$(ZIPPED_EXAMPLES)
+EXAMPLES_DIR := $(shell pwd)/examples
 
 include examples.mk