From 85ed6e4d18807c8c9bc0ac31413d38aa49d4cfac Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Mon, 4 Jul 2016 09:59:09 +0100
Subject: [PATCH] Use Py3 to build dcos for constants

---
 doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/Makefile b/doc/Makefile
index d4a5c6a6..27c54c52 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -35,7 +35,7 @@ help:
 .PHONY: help clean html web pickle htmlhelp latex changes linkcheck
 
 constants:
-	python make_constants.py > constants.inc
+	python3 make_constants.py > constants.inc
 
 clean:
 	-rm -rf build/*
-- 
GitLab