diff options
| author | hallgren <hallgren@chalmers.se> | 2010-12-22 16:57:53 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2010-12-22 16:57:53 +0000 |
| commit | 40b84d25e320347e0402d9a86afe3bf384b5d490 (patch) | |
| tree | 15c3df3acf3db8091615188429dbae894d59c773 /index.html | |
| parent | 59b36e0e4aa4875d9d5acfe7abf114a680b0aac9 (diff) | |
Documentation fixes
+ Rename some txt2tags file from .txt to .t2t and remove abandoned .txt files.
+ Add program update_html that finds all .t2t documents and updates the
corresponding .html file. It can be invoked with 'make html'.
+ Add style to some .html documents
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/index.html b/index.html index d88e3b6df..8f56c0406 100644 --- a/index.html +++ b/index.html @@ -2,11 +2,7 @@ <HTML> <HEAD> <TITLE>GF - Grammatical Framework</TITLE> -<style> -div.center { text-align: center; } -h1,h2,h3 { font-family: sans-serif; } -div.news { font-size: small; } -</style> +<link rel=stylesheet href="css/style.css"> </HEAD> <BODY> |