summaryrefslogtreecommitdiff
path: root/tools/make-man-index.py
diff options
context:
space:
mode:
Diffstat (limited to 'tools/make-man-index.py')
-rwxr-xr-xtools/make-man-index.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/make-man-index.py b/tools/make-man-index.py
index 74a47b821a..50ad9532cd 100755
--- a/tools/make-man-index.py
+++ b/tools/make-man-index.py
@@ -1,3 +1,4 @@
+#!/usr/bin/python3
# -*- Mode: python; coding: utf-8; indent-tabs-mode: nil -*- */
#
# This file is part of systemd.