Rename some variables from FOO to FOO_CMD
[ghc.git] / docs /
drwxr-xr-x   ..
-rw-r--r-- 720 Makefile
-rw-r--r-- 18280 coding-style.html
drwxr-xr-x - comm
drwxr-xr-x - docbook-cheat-sheet
drwxr-xr-x - ext-core
drwxr-xr-x - ghci
drwxr-xr-x - hep
-rw-r--r-- 1568 index.html.in
drwxr-xr-x - man
drwxr-xr-x - ndp
drwxr-xr-x - rts
drwxr-xr-x - storage-mgt
drwxr-xr-x - users_guide
drwxr-xr-x - vh