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.
Note that make-man-rules.py is missing in EXTRA_DIST=, this patch fixes this mistake too.