3 Commits

Author	SHA1	Message	Date
Jörg Thalheim	3e67e5c992	more portable python shebangs (#5816) ... This is useful on systems like NixOS, where python3 is not in /usr/bin/python3 as well as for people using alternative ways to install python such as virtualenv/pyenv.	2017-04-30 20:26:56 -04:00
Felipe Sateler	b95f5528cc	Use python3 explicitly in all python scripts	2016-11-28 15:00:20 -03:00
Karel Zak	3c3e5f4276	build-sys: move python helpers to tools directory ... Note that make-man-rules.py is missing in EXTRA_DIST=, this patch fixes this mistake too.	2014-02-10 13:02:34 +01:00