doc:Makefile: use Python 2.7 for generate-libbe-txt.py

diff --git a/doc/Makefile b/doc/Makefile
index 71698a879eec7d1d6c66c0a58edc7363679adb6d..470a50d48089cf2b3e3ec6b0248d1281979f67e4 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -92,4 +92,4 @@ doctest: libbe
 
 .PHONY : libbe
 libbe :
-       python generate-libbe-txt.py
+       python2.7 generate-libbe-txt.py