| 1234567891011121314151617181920212223242526 |
- #!/usr/bin/env python3
- # generates docs/html/index.html
- # (c) The GRASS Development Team, Markus Neteler, Glynn Clements 2003, 2004, 2005, 2006, 2009
- import sys
- import os
- import string
- from build_html import *
- os.chdir(html_dir)
- filename = "index.html"
- f = open(filename + ".tmp", 'w')
- year = None
- if len(sys.argv) > 1:
- year = sys.argv[1]
- write_html_header(f, "GRASS GIS %s Reference Manual" % grass_version, True)
- write_html_cmd_overview(f)
- write_html_footer(f, "index.html", year)
- f.close()
- replace_file(filename)
|
