diff --git a/documentation/manual/source/conf.py b/documentation/manual/source/conf.py
index c10164669..2e9c0a88f 100644
--- a/documentation/manual/source/conf.py
+++ b/documentation/manual/source/conf.py
@@ -14,8 +14,6 @@
 import sys
 import os
 
-print sys.argv
-
 # If extensions (or modules to document with autodoc) are in another directory,
 # add these directories to sys.path here. If the directory is relative to the
 # documentation root, use os.path.abspath to make it absolute, like shown here.