Point "history" URL to GitHub history (#65)

OSGeo · Jul 29, 2019 · 6878977 · 6878977
1 parent 87b2b06
commit 6878977
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/mkhtml.py b/tools/mkhtml.py
@@ -381,7 +381,7 @@ def to_title(name):
 
 if index_name:
     sys.stdout.write(sourcecode.substitute(URL_SOURCE=url_source, PGM=pgm,
-                                           URL_LOG=url_source.replace('browser',  'log')))
+                                           URL_LOG=url_source.replace('grass/tree',  'grass/commits')))
     sys.stdout.write(footer_index.substitute(INDEXNAME=index_name,
                                              INDEXNAMECAP=index_name_cap,
                                              YEAR=year, GRASS_VERSION=grass_version))