diff --git a/doc/org/.dir-locals.el.in b/doc/org/.dir-locals.el.in
index 747db14fa..aa63853f3 100644
--- a/doc/org/.dir-locals.el.in
+++ b/doc/org/.dir-locals.el.in
@@ -6,7 +6,7 @@
 	      (eval .
 		    (progn
 		      (setenv "PATH"
-			      (concat "@abs_top_builddir@/spot/bin"
+			      (concat "@abs_top_builddir@/bin"
 				      path-separator
 				      (getenv "PATH")))
 		      (setenv "PYTHONPATH"
diff --git a/doc/org/init.el.in b/doc/org/init.el.in
index eb7a4148f..78ade61bb 100644
--- a/doc/org/init.el.in
+++ b/doc/org/init.el.in
@@ -31,7 +31,7 @@
 (setq shell-file-name "@SHELL@")
 
 (setenv "PATH"
-	(concat "@abs_top_builddir@/spot/bin" path-separator (getenv "PATH")))
+	(concat "@abs_top_builddir@/bin" path-separator (getenv "PATH")))
 (setenv "PYTHONPATH"
 	(concat "@abs_top_builddir@/python/.libs:@abs_top_builddir@/python:@abs_top_srcdir@/python:"
 		(getenv "PYTHONPATH")))