Changes between Version 77 and Version 78 of Building/GettingTheSources


Ignore:
Timestamp:
Oct 17, 2012 8:46:49 AM (18 months ago)
Author:
SimonHengel
Comment:

Use URL to official GHC mirror for second example in "Getting a GHC repository from GitHub?". The reader already knows from the first example, how he can customize the URL. The main motivation for this change is, that it makes it easy to get a full clone of everything by just copy and pasting the second example.

Legend:

Unmodified
Added
Removed
Modified
  • Building/GettingTheSources

    v77 v78  
    7575If you want a full clone of every package from !GitHub instead, sync-all can handle that as well. 
    7676{{{ 
    77   $ git clone <your preferred github.com GHC fork URL> ghc 
     77  $ git clone git://github.com/ghc/ghc 
    7878  $ cd ghc 
    7979  $ ./sync-all -r git://github.com/ghc get