build_full_index_rest.py 1.2 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455
  1. #!/usr/bin/env python3
  2. # generates docs/rest/full_index.txt
  3. # (c) The GRASS Development Team, Markus Neteler, Glynn Clements 2003, 2004, 2005, 2006, 2009
  4. import sys
  5. import os
  6. import string
  7. from build_rest import *
  8. os.chdir(rest_dir)
  9. classes = []
  10. for cmd in rest_files('*'):
  11. prefix = cmd.split('.')[0]
  12. if prefix not in classes:
  13. classes.append(prefix)
  14. classes.sort()
  15. #begin full index:
  16. filename = "full_index.txt"
  17. f = open(filename + ".tmp", 'wb')
  18. write_rest_header(f, "GRASS GIS %s Reference Manual: Full index" % grass_version)
  19. #generate main index of all modules:
  20. f.write(full_index_header)
  21. #"
  22. #for cls in classes:
  23. #f.write(cmd1_tmpl.substitute(cmd = cls))
  24. #if cls != classes[-1]:
  25. #f.write(" | ")
  26. f.write(sections)
  27. #for all module groups:
  28. for cls in classes:
  29. f.write(cmd2_tmpl.substitute(cmd = cls))
  30. #for all modules:
  31. for cmd in rest_files(cls):
  32. basename = os.path.splitext(cmd)[0]
  33. desc = check_for_desc_override(basename)
  34. if desc is None:
  35. desc = get_desc(cmd)
  36. f.write(desc1_tmpl.substitute(basename = basename,
  37. desc = desc))
  38. f.write("\n")
  39. write_rest_footer(f, "index.txt")
  40. f.close()
  41. replace_file(filename)