From b1753eecf59c2269bc0e191fcbcb89ba3bb6267e Mon Sep 17 00:00:00 2001
From: Raoul Snyman <raoul.snyman@saturnlaboratories.co.za>
Date: Sun, 15 Jul 2012 22:35:23 +0200
Subject: [PATCH] Modifications to run pdf_optimise.py automatically in the
 Makefile were not working. Reverted them, and made pdf_optimise.py
 executable.

---
 user-guide/Makefile        | 2 --
 user-guide/pdf_optimise.py | 0
 2 files changed, 2 deletions(-)
 mode change 100644 => 100755 user-guide/pdf_optimise.py

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