diff options
Diffstat (limited to 'Doc/tools')
| -rwxr-xr-x | Doc/tools/mkackshtml | 1 | ||||
| -rwxr-xr-x | Doc/tools/mkmodindex | 2 | ||||
| -rw-r--r-- | Doc/tools/support.py | 24 |
3 files changed, 27 insertions, 0 deletions
diff --git a/Doc/tools/mkackshtml b/Doc/tools/mkackshtml index 917b303..79fe3f9 100755 --- a/Doc/tools/mkackshtml +++ b/Doc/tools/mkackshtml @@ -30,6 +30,7 @@ def main(): colnums = [] for i in range(options.columns): colnums.append(percol*i) + options.aesop_type = "information" fp = options.get_output_file() fp.write(string.rstrip(options.get_header()) + "\n") fp.write(THANKS + "\n") diff --git a/Doc/tools/mkmodindex b/Doc/tools/mkmodindex index 23a200e..58ba05e 100755 --- a/Doc/tools/mkmodindex +++ b/Doc/tools/mkmodindex @@ -34,6 +34,8 @@ import sys class IndexOptions(support.Options): + aesop_type = "links" + def __init__(self): support.Options.__init__(self) self.add_args("l", ["letters"]) diff --git a/Doc/tools/support.py b/Doc/tools/support.py index 187ac21..bc17c6e 100644 --- a/Doc/tools/support.py +++ b/Doc/tools/support.py @@ -28,6 +28,24 @@ class Options: uplink = "index.html" uptitle = "Python Documentation Index" + # The "Aesop Meta Tag" is poorly described, and may only be used + # by the Aesop search engine (www.aesop.com), but doesn't hurt. + # + # There are a number of values this may take to roughly categorize + # a page. A page should be marked according to its primary + # category. Known values are: + # 'personal' -- personal-info + # 'information' -- information + # 'interactive' -- interactive media + # 'multimedia' -- multimedia presenetation (non-sales) + # 'sales' -- sales material + # 'links' -- links to other information pages + # + # Setting the aesop_type value to one of these strings will cause + # get_header() to add the appropriate <meta> tag to the <head>. + # + aesop_type = None + def __init__(self): self.args = [] self.variables = {"address": "", @@ -96,6 +114,12 @@ class Options: link = '<link rel="up" href="%s">' % self.uplink repl = " %s\n</head>" % link s = s.replace("</head>", repl, 1) + if self.aesop_type: + meta = '\n <meta name="aesop" content="%s">' + # Insert this in the middle of the head that's been + # generated so far, keeping <meta> and <link> elements in + # neat groups: + s = s.replace("<link ", meta + "<link ", 1) return s def get_footer(self): |