make-man-index.py		make-man-index.py
	#!/usr/bin/env python		#!/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 xml.etree.ElementTree import parse, Element, SubElement, tostring
	from sys import argv, stdout		from sys import argv, stdout
	index = {}		index = {}
	def prettify(elem, indent = 0):		def prettify(elem, indent = 0):
	s = "\n" + indent * " "		s = "\n" + indent * " "
	if len(elem):		if len(elem):
	if not elem.text or not elem.text.strip():		if not elem.text or not elem.text.strip():
End of changes. 1 change blocks.
	0 lines changed or deleted		18 lines changed or added
This html diff was produced by rfcdiff 1.41. The latest version is available from http://tools.ietf.org/tools/rfcdiff/