build_index.py 530 B

12345678910111213141516171819202122232425262728
  1. #!/usr/bin/env python3
  2. # generates docs/html/index.html
  3. # (C) 2003-2009 Markus Neteler and the GRASS Development Team
  4. # Authors:
  5. # Markus Neteler
  6. # Glynn Clements
  7. import sys
  8. import os
  9. from build_html import *
  10. os.chdir(html_dir)
  11. filename = "index.html"
  12. f = open(filename + ".tmp", "w")
  13. year = None
  14. if len(sys.argv) > 1:
  15. year = sys.argv[1]
  16. write_html_header(f, "GRASS GIS %s Reference Manual" % grass_version, True)
  17. write_html_cmd_overview(f)
  18. write_html_footer(f, "index.html", year)
  19. f.close()
  20. replace_file(filename)