summaryrefslogtreecommitdiff
path: root/tools/make-directive-index.py
diff options
context:
space:
mode:
authorLuke Shumaker <lukeshu@lukeshu.com>2017-05-11 22:03:09 -0400
committerLuke Shumaker <lukeshu@lukeshu.com>2017-05-11 22:03:09 -0400
commitf61b08939e2ce45cb2563ebb4cf3210e5e8343f3 (patch)
treea9f426ad3cba9804ae193d28de76a5fdf1a540d2 /tools/make-directive-index.py
parentf375f601941dde66d8357fb22f560cea80d97fd4 (diff)
man pages
Diffstat (limited to 'tools/make-directive-index.py')
-rwxr-xr-xtools/make-directive-index.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/make-directive-index.py b/tools/make-directive-index.py
index 256ff3dc5d..1b287997fa 100755
--- a/tools/make-directive-index.py
+++ b/tools/make-directive-index.py
@@ -1,3 +1,4 @@
+#!/usr/bin/env python3
# -*- Mode: python; coding: utf-8; indent-tabs-mode: nil -*- */
#
# This file is part of systemd.