Add a 'Main' link to index.html
treec6d9772e6c3cb6b7008af50448b19b3348529f29
-rw-r--r-- 18787 COPYING
-rw-r--r-- 4655 about.html
-rw-r--r-- 3371 community.html
-rw-r--r-- 2829 documentation.html
-rw-r--r-- 3817 download.html
-rw-r--r-- 275 git-logo.png
-rw-r--r-- 3168 index.html
drwxr-xr-x - stylesheets
-rw-r--r-- 4391 tools.html