summaryrefslogtreecommitdiff
path: root/make-man-index.py
diff options
context:
space:
mode:
Diffstat (limited to 'make-man-index.py')
-rwxr-xr-xmake-man-index.py18
1 files changed, 18 insertions, 0 deletions
diff --git a/make-man-index.py b/make-man-index.py
index 8789d995ec..56f38ce413 100755
--- a/make-man-index.py
+++ b/make-man-index.py
@@ -1,4 +1,22 @@
#!/usr/bin/env python
+# -*- Mode: python; indent-tabs-mode: nil -*- */
+#
+# This file is part of systemd.
+#
+# Copyright 2012 Lennart Poettering
+#
+# systemd is free software; you can redistribute it and/or modify it
+# under the terms of the GNU Lesser General Public License as published by
+# the Free Software Foundation; either version 2.1 of the License, or
+# (at your option) any later version.
+#
+# systemd is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+# Lesser General Public License for more details.
+#
+# You should have received a copy of the GNU Lesser General Public License
+# along with systemd; If not, see <http://www.gnu.org/licenses/>.
from xml.etree.ElementTree import parse, Element, SubElement, tostring
from sys import argv, stdout