blob: b3a263b3fecb8e693b637a02c28205453e43a7ee [file] [log] [blame]
Fred Drakee603cb11998-03-16 16:15:49 +00001#! /usr/bin/env python
2
3"""Really nasty little script to create an empty, labeled index on stdout.
4
5Do it this way since some shells seem to work badly (and differently) with
6the leading '\b' for the first output line. Specifically, /bin/sh on
7Solaris doesn't seem to get it right. Once the quoting works there, it
8doesn't work on Linux any more. ;-(
9"""
10__version__ = '$Revision$'
11# $Source$
12
13import sys
14
15if sys.argv[1:]:
16 label = sys.argv[1]
17else:
18 label = "genindex"
19
20print "\\begin{theindex}"
21print "\\label{%s}" % label
22print "\\end{theindex}"