Index: branches/PublicaMundi_David-devel/docs/Makefile
===================================================================
--- branches/PublicaMundi_David-devel/docs/Makefile	(revision 659)
+++ branches/PublicaMundi_David-devel/docs/Makefile	(revision 660)
@@ -4,5 +4,5 @@
 # You can set these variables from the command line.
 SPHINXOPTS   =
-SPHINXBUILD  = python ../sphinx-build.py
+SPHINXBUILD  = sphinx-build
 SPHINXPROJ   = sphinx
 SOURCEDIR    = .