summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKrasimir Angelov <kr.angelov@gmail.com>2018-11-30 11:05:59 +0100
committerKrasimir Angelov <kr.angelov@gmail.com>2018-11-30 11:05:59 +0100
commitf898c250baf0d94f99b60bbf155c887442e40775 (patch)
tree1073ccaef77beea6b77c55dc5c4671b3f556ac82
parent5ef390f18859662fc4ff76e2ec0933151e505bc9 (diff)
removed instructions which doesn't actually work
-rw-r--r--README.md7
1 files changed, 0 insertions, 7 deletions
diff --git a/README.md b/README.md
index fe2a85ad0..5ee8967a6 100644
--- a/README.md
+++ b/README.md
@@ -37,13 +37,6 @@ The simplest way of installing GF is with the command:
cabal install
```
-This can be broken down into the usual sub-steps:
-```
-cabal configure
-cabal build
-cabal copy
-```
-
For more details, see the [download page](http://www.grammaticalframework.org/download/index.html)
and [developers manual](http://www.grammaticalframework.org/doc/gf-developers.html).