diff options
Diffstat (limited to 'make-man-index.py')
| -rwxr-xr-x | make-man-index.py | 18 |
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 |