diff --git a/Documentation.html b/Documentation.html index 909916fc3..5b4f5fbc8 100755 --- a/Documentation.html +++ b/Documentation.html @@ -44,7 +44,7 @@ h2 { font-family: Verdana, Arial, Helvetica, sans-serif; font-size:large; font-w
  • Version history: ChangeLog
  • Installation instructions: INSTALL
  • General notes: README
  • -
  • Credits: CREDITS
  • +
  • Credits information: CREDITS
  • Documentation version: $Id$