diff --git a/user-guide/Makefile b/user-guide/Makefile
index fd9db7e..7213404 100644
--- a/user-guide/Makefile
+++ b/user-guide/Makefile
@@ -153,8 +153,6 @@ doctest:
 	      "results in $(BUILDDIR)/doctest/output.txt."
 
 pdf:
-	TEMP_DIR := $(python pdf_optimise.py)
 	$(SPHINXBUILD) -b pdf $(ALLSPHINXOPTS) build/pdf
-	python pdf_optimise.py restore $(TEMP_DIR)
 	@echo
 	@echo "Build finished. The PDF files are in build/pdf."
diff --git a/user-guide/pdf_optimise.py b/user-guide/pdf_optimise.py
old mode 100644
new mode 100755