Mercurial > p > roundup > code
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 |
| 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 |
