annotate tools/build_html @ 670:e06ee3dd5ee8 0.4.1

*ahem*
author Richard Jones <richard@users.sourceforge.net>
date Mon, 25 Mar 2002 06:19:45 +0000
parents 71bf8f97fe30
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
632
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
1 #! /usr/bin/python
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
2
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
3 import sys
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
4 import os.path
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
5 import glob
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
6 import html
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
7 import dps.utils
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
8 try:
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
9 from restructuredtext import Parser
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
10 except ImportError:
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
11 from dps.parsers.restructuredtext import Parser
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
12
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
13 if sys.argv[1:] == '--help':
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
14 print """
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
15 Usage: build_html
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
16
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
17 Converts all structured text (.stx) files to html files.
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
18 """
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
19 sys.exit(1)
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
20
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
21 def to_html(filename):
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
22 parser = Parser()
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
23 input = open(filename).read()
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
24 document = dps.utils.newdocument()
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
25 parser.parse(input, document)
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
26
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
27 formatter = html.DumbHTMLFormatter()
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
28 return formatter.format_document(document)
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
29
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
30
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
31 for filename in glob.glob('*.stx'):
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
32 htmlfile = "%s.html" % os.path.splitext(filename)[0]
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
33 print "%s -> %s" % (filename, htmlfile)
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
34 f=open(htmlfile, 'wb')
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
35 f.write(to_html(filename))
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
36 f.close()
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
37
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
38
71bf8f97fe30 Tools used to build the documentation
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
39

Roundup Issue Tracker: http://roundup-tracker.org/