diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2012-12-22 10:09:24 +0100 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-01-04 22:22:21 -0500 |
| commit | c4eb236a2c9f07ec236c82f0113139c343a07224 (patch) | |
| tree | c91c1e4c676fb7f5cb1a9d0099d4e06683254661 /make-man-index.py | |
| parent | 2f4da3e6c298bc0ae6243cae47aedb01c50fa870 (diff) | |
build-sys: invoke scripts with $PYTHON during build
Python binary to be used during compilation can be set with
./configure PYTHON=...
The she-bang line is removed, since it is not used anymore.
Diffstat (limited to 'make-man-index.py')
| -rwxr-xr-x | make-man-index.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/make-man-index.py b/make-man-index.py index 56f38ce413..b40c963f94 100755 --- a/make-man-index.py +++ b/make-man-index.py @@ -1,4 +1,3 @@ -#!/usr/bin/env python # -*- Mode: python; indent-tabs-mode: nil -*- */ # # This file is part of systemd. |