diff --git a/README.txt b/README.txt index ba8374eea0..8b13789179 100644 --- a/README.txt +++ b/README.txt @@ -1,4 +1 @@ -$Id$ -For install, system requirements and user manual, please see documentation -at docs/user_manual.html.