diff --git a/src/doc/head b/src/doc/head index 8bff7f1da..652464a11 100644 --- a/src/doc/head +++ b/src/doc/head @@ -19,13 +19,13 @@ - + - +
Home page
Project
Latest news
Latest release
Installing
License
User's guide
Benchmarks
Distribution
Mailing list
Mailing list
Browse CVS