more forcing of python2 for make dist

diff --git a/doc/make_target_table.py b/doc/make_target_table.py
index e5e25f00d63438219d8af6d85d7964652ef4b741..ad4d2928ad1b8e7ae8d8feb02ba8c37df55468a6 100755 (executable)
--- a/doc/make_target_table.py
+++ b/doc/make_target_table.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python2
 # Copyright (C) 2012 W. Trevor King <wking@drexel.edu>
 # Copyright (C) 2012 Sebastian Pipping <sebastian@pipping.org>
 # Licensed under GPL v2 or later