diff options
Diffstat (limited to 'Doc/tools/mkackshtml')
| -rwxr-xr-x | Doc/tools/mkackshtml | 1 |
1 files changed, 1 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") |