chiark / gitweb /
docs: gtk-doc warnings are annoying
[elogind.git] / make-man-index.py
index 1e67287..56f38ce 100755 (executable)
@@ -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
@@ -72,5 +90,7 @@ hr = SubElement(body, 'hr')
 p = SubElement(body, 'p')
 p.text = "This index contains %s entries, referring to %i individual manual pages." % (len(index), len(argv)-1)
 
+if hasattr(stdout, "buffer"):
+       stdout = stdout.buffer
 prettify(html)
 stdout.write(tostring(html))