1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#!/usr/bin/env python3
# generates docs/html/index.html
# (C) 2003-2009 Markus Neteler and the GRASS Development Team
# Authors:
# Markus Neteler
# Glynn Clements
import sys
import os
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)
|
