Index: third_party/twisted_8_1/twisted/scripts/htmlizer.py |
diff --git a/third_party/twisted_8_1/twisted/scripts/htmlizer.py b/third_party/twisted_8_1/twisted/scripts/htmlizer.py |
deleted file mode 100644 |
index 5bbc1e989db56138b8626bfc74bae148607cf36d..0000000000000000000000000000000000000000 |
--- a/third_party/twisted_8_1/twisted/scripts/htmlizer.py |
+++ /dev/null |
@@ -1,66 +0,0 @@ |
-# Copyright (c) 2001-2004 Twisted Matrix Laboratories. |
-# See LICENSE for details. |
- |
-# |
- |
-"""HTML pretty-printing for Python source code.""" |
- |
-__version__ = '$Revision: 1.8 $'[11:-2] |
- |
-from twisted.python import htmlizer, usage |
-from twisted import copyright |
- |
-import os, sys |
- |
-header = '''<html><head> |
-<title>%(title)s</title> |
-<meta name=\"Generator\" content="%(generator)s" /> |
-%(alternate)s |
-%(stylesheet)s |
-</head> |
-<body> |
-''' |
-footer = """</body>""" |
- |
-styleLink = '<link rel="stylesheet" href="%s" type="text/css" />' |
-alternateLink = '<link rel="alternate" href="%(source)s" type="text/x-python" />' |
- |
-class Options(usage.Options): |
- synopsis = """%s [options] source.py |
- """ % ( |
- os.path.basename(sys.argv[0]),) |
- |
- optParameters = [ |
- ('stylesheet', 's', None, "URL of stylesheet to link to."), |
- ] |
- zsh_extras = ["1:source python file:_files -g '*.py'"] |
- |
- def parseArgs(self, filename): |
- self['filename'] = filename |
- |
-def run(): |
- options = Options() |
- try: |
- options.parseOptions() |
- except usage.UsageError, e: |
- print str(e) |
- sys.exit(1) |
- filename = options['filename'] |
- if options.get('stylesheet') is not None: |
- stylesheet = styleLink % (options['stylesheet'],) |
- else: |
- stylesheet = '' |
- |
- output = open(filename + '.html', 'w') |
- try: |
- output.write(header % { |
- 'title': filename, |
- 'generator': 'htmlizer/%s' % (copyright.longversion,), |
- 'alternate': alternateLink % {'source': filename}, |
- 'stylesheet': stylesheet |
- }) |
- htmlizer.filter(open(filename), output, |
- htmlizer.SmallerHTMLWriter) |
- output.write(footer) |
- finally: |
- output.close() |