diff options
-rw-r--r-- | README | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -72,6 +72,3 @@ documentation is not built by default. Use these targets: when configuring. Otherwise it defaults to /usr/local. See the DejaGnu manual for more information on installation. - - - |