build_full_index_rest.py 1.2 KB

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