gf.cabal: update the source repository to point to the GitHub repository

2017-06-29 14:51:27 +02:00
parent 0cb10ac35b
commit 281fae2f82
1 changed files with 6 additions and 3 deletions
--- a/gf.cabal
+++ b/gf.cabal
@@ -42,10 +42,13 @@ data-files: tools/gf.el
 	    www/translator/*.css
 	    www/translator/*.js

-source-repository head
-  type:     darcs
-  location: http://www.grammaticalframework.org/
+--source-repository head
+--  type:     darcs
+--  location: http://www.grammaticalframework.org/

+source-repository head
+  type:     git
+  location: https://github.com/GrammaticalFramework/GF.git

 flag interrupt
  Description: Enable Ctrl+Break in the shell