12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455 |
- #!/usr/bin/env python3
- # generates docs/rest/full_index.txt
- # (c) The GRASS Development Team, Markus Neteler, Glynn Clements 2003, 2004, 2005, 2006, 2009
- import sys
- import os
- import string
- from build_rest import *
- os.chdir(rest_dir)
- classes = []
- for cmd in rest_files('*'):
- prefix = cmd.split('.')[0]
- if prefix not in classes:
- classes.append(prefix)
- classes.sort()
- #begin full index:
- filename = "full_index.txt"
- f = open(filename + ".tmp", 'wb')
- write_rest_header(f, "GRASS GIS %s Reference Manual: Full index" % grass_version)
- #generate main index of all modules:
- f.write(full_index_header)
- #"
- #for cls in classes:
- #f.write(cmd1_tmpl.substitute(cmd = cls))
- #if cls != classes[-1]:
- #f.write(" | ")
- f.write(sections)
- #for all module groups:
- for cls in classes:
- f.write(cmd2_tmpl.substitute(cmd = cls))
- #for all modules:
- for cmd in rest_files(cls):
- basename = os.path.splitext(cmd)[0]
- desc = check_for_desc_override(basename)
- if desc is None:
- desc = get_desc(cmd)
- f.write(desc1_tmpl.substitute(basename = basename,
- desc = desc))
- f.write("\n")
- write_rest_footer(f, "index.txt")
- f.close()
- replace_file(filename)
|