install.asciidoc

@@ -22,13 +22,12 @@ You also need to download the following source code :
   *    Our tool source code.
 
 === Install the system ===
-
-  *    Download the source code of the Haskell Refactorer (HaRe) v.0.6 from HaRe webpage.
-  *    Extract the files from the archive (for instance, 'tar xzvf HaRe_28062010.tar.gz').
-  *    Download the archive containing our tool source code (from download page).
-  *    cd into the directory created while extracting the HaRe archive (HaRe_28062010/) and extract the archive there.
-  *    (Optional) Edit the variable GHCFLAGS in the file tools/base/HuMakefile to add -O2 (the uppercase letter O, not the number 0) at the end of the string defining the compiler options. You should reach the following string: ”-fglasgow-exts -XNoOverlappingInstances -O2” . Compilation will take more time, but the refactorer will be much faster.
-  *    Patch HaRe to fix some bugs. The paches are provided in our tool source code archive. We provide a shell script to apply the patches (since our version 0.3): applyPatches.sh (you may need to use the command ./applyPatches.sh to execute it).
-  *    Compile : run make at the root of the HaRe directory (it takes several minutes and a large ammount of memory: if you have 512MB of physical memory, you may need to close some processes).
-  *    (Optional) Place the following directive in your .emacs file : (load ”{PATH-TO-HaRe-DIRECTORY}/HaRe_28062010/editors/Emacs/haskell-refac.el”)
+1. Download the source code of the Haskell Refactorer (HaRe) v.0.6 from [HaRe webpage](http://www.cs.kent.ac.uk/projects/refactor-fp/hare.html).
+2.   Extract the files from the archive (for instance, 'tar xzvf HaRe_28062010.tar.gz').
+3.    Download the archive containing our tool source code (from the git repository).
+4.    cd into the directory created while extracting the HaRe archive (HaRe_28062010/) and extract the archive there.
+5.    (Optional) Edit the variable GHCFLAGS in the file tools/base/HuMakefile to add -O2 (the uppercase letter O, not the number 0) at the end of the string defining the compiler options. You should reach the following string: ”-fglasgow-exts -XNoOverlappingInstances -O2” . Compilation will take more time, but the refactorer will be much faster.
+6.    Patch HaRe to fix some bugs. The paches are provided in our tool source code archive. We provide a shell script to apply the patches (since our version 0.3): applyPatches.sh (you may need to use the command ./applyPatches.sh to execute it).
+7.    Compile : run make at the root of the HaRe directory (it takes several minutes and a large ammount of memory: if you have 512MB of physical memory, you may need to close some processes).
+8.    (Optional) Place the following directive in your .emacs file : (load ”{PATH-TO-HaRe-DIRECTORY}/HaRe_28062010/editors/Emacs/haskell-refac.el”)