[project @ 2003-06-13 08:45:32 by simonmar] - add the OPTIONS pragma to the section on pragmas, with a cross-ref   to the place it is described.
[project @ 2003-06-13 08:45:32 by simonmar]
- add the OPTIONS pragma to the section on pragmas, with a cross-ref
  to the place it is described.

- tidy up the section on pragams: re-indent and sort the sections
  alphabetically.

mettekou/ghc,mettekou/ghc,fmthoma/ghc,lukexi/ghc-7.8-arm64,oldmanmike/ghc,sdiehl/ghc,jstolarek/ghc,tibbe/ghc,ml9951/ghc,sdiehl/ghc,elieux/ghc,lukexi/ghc,da-x/ghc,holzensp/ghc,hferreiro/replay,nathyong/microghc-ghc,nathyong/microghc-ghc,ekmett/ghc,wxwxwwxxx/ghc,spacekitteh/smcghc,da-x/ghc,ilyasergey/GHC-XAppFix,lukexi/ghc-7.8-arm64,acowley/ghc,hferreiro/replay,siddhanathan/ghc,holzensp/ghc,GaloisInc/halvm-ghc,vikraman/ghc,anton-dessiatov/ghc,mfine/ghc,urbanslug/ghc,da-x/ghc,ml9951/ghc,nathyong/microghc-ghc,gcampax/ghc,nushio3/ghc,ryantm/ghc,forked-upstream-packages-for-ghcjs/ghc,gcampax/ghc,mcmaniac/ghc,tibbe/ghc,ml9951/ghc,christiaanb/ghc,vikraman/ghc,acowley/ghc,jstolarek/ghc,acowley/ghc,anton-dessiatov/ghc,nkaretnikov/ghc,ekmett/ghc,wxwxwwxxx/ghc,hferreiro/replay,AlexanderPankiv/ghc,snoyberg/ghc,urbanslug/ghc,mettekou/ghc,oldmanmike/ghc,olsner/ghc,ml9951/ghc,ml9951/ghc,GaloisInc/halvm-ghc,nkaretnikov/ghc,forked-upstream-packages-for-ghcjs/ghc,wxwxwwxxx/ghc,oldmanmike/ghc,nkaretnikov/ghc,green-haskell/ghc,sdiehl/ghc,ghc-android/ghc,nushio3/ghc,urbanslug/ghc,sgillespie/ghc,sdiehl/ghc,anton-dessiatov/ghc,wxwxwwxxx/ghc,oldmanmike/ghc,green-haskell/ghc,nathyong/microghc-ghc,ryantm/ghc,mfine/ghc,acowley/ghc,snoyberg/ghc,gridaphobe/ghc,sgillespie/ghc,christiaanb/ghc,urbanslug/ghc,nushio3/ghc,olsner/ghc,anton-dessiatov/ghc,tibbe/ghc,tjakway/ghcjvm,vikraman/ghc,christiaanb/ghc,olsner/ghc,siddhanathan/ghc,sdiehl/ghc,TomMD/ghc,shlevy/ghc,nushio3/ghc,shlevy/ghc,frantisekfarka/ghc-dsi,mcschroeder/ghc,TomMD/ghc,lukexi/ghc,mcmaniac/ghc,urbanslug/ghc,hferreiro/replay,wxwxwwxxx/ghc,vTurbine/ghc,olsner/ghc,shlevy/ghc,gcampax/ghc,spacekitteh/smcghc,vTurbine/ghc,ryantm/ghc,elieux/ghc,gridaphobe/ghc,spacekitteh/smcghc,jstolarek/ghc,GaloisInc/halvm-ghc,mcschroeder/ghc,anton-dessiatov/ghc,siddhanathan/ghc,elieux/ghc,elieux/ghc,ryantm/ghc,nathyong/microghc-ghc,fmthoma/ghc,mcschroeder/ghc,lukexi/ghc,holzensp/ghc,TomMD/ghc,frantisekfarka/ghc-dsi,bitemyapp/ghc,ghc-android/ghc,hferreiro/replay,TomMD/ghc,mfine/ghc,mcmaniac/ghc,tjakway/ghcjvm,ekmett/ghc,bitemyapp/ghc,spacekitteh/smcghc,acowley/ghc,shlevy/ghc,elieux/ghc,spacekitteh/smcghc,frantisekfarka/ghc-dsi,ghc-android/ghc,mcschroeder/ghc,AlexanderPankiv/ghc,christiaanb/ghc,tjakway/ghcjvm,hferreiro/replay,mettekou/ghc,gcampax/ghc,AlexanderPankiv/ghc,snoyberg/ghc,mfine/ghc,elieux/ghc,mfine/ghc,nomeata/ghc,gridaphobe/ghc,nathyong/microghc-ghc,sgillespie/ghc,ekmett/ghc,anton-dessiatov/ghc,nkaretnikov/ghc,christiaanb/ghc,acowley/ghc,green-haskell/ghc,oldmanmike/ghc,gcampax/ghc,ezyang/ghc,lukexi/ghc,lukexi/ghc-7.8-arm64,da-x/ghc,nushio3/ghc,frantisekfarka/ghc-dsi,ghc-android/ghc,oldmanmike/ghc,sgillespie/ghc,tjakway/ghcjvm,holzensp/ghc,ezyang/ghc,jstolarek/ghc,mettekou/ghc,sdiehl/ghc,siddhanathan/ghc,mfine/ghc,da-x/ghc,vikraman/ghc,nkaretnikov/ghc,ezyang/ghc,wxwxwwxxx/ghc,vikraman/ghc,mfine/ghc,bitemyapp/ghc,TomMD/ghc,anton-dessiatov/ghc,bitemyapp/ghc,forked-upstream-packages-for-ghcjs/ghc,vTurbine/ghc,wxwxwwxxx/ghc,TomMD/ghc,ezyang/ghc,nathyong/microghc-ghc,nomeata/ghc,sdiehl/ghc,tjakway/ghcjvm,GaloisInc/halvm-ghc,mcmaniac/ghc,nomeata/ghc,elieux/ghc,gridaphobe/ghc,forked-upstream-packages-for-ghcjs/ghc,tjakway/ghcjvm,GaloisInc/halvm-ghc,ezyang/ghc,ezyang/ghc,fmthoma/ghc,siddhanathan/ghc,snoyberg/ghc,oldmanmike/ghc,da-x/ghc,ml9951/ghc,jstolarek/ghc,AlexanderPankiv/ghc,fmthoma/ghc,holzensp/ghc,mettekou/ghc,christiaanb/ghc,urbanslug/ghc,olsner/ghc,shlevy/ghc,nkaretnikov/ghc,mettekou/ghc,frantisekfarka/ghc-dsi,shlevy/ghc,ghc-android/ghc,nkaretnikov/ghc,snoyberg/ghc,vTurbine/ghc,ilyasergey/GHC-XAppFix,green-haskell/ghc,olsner/ghc,forked-upstream-packages-for-ghcjs/ghc,ml9951/ghc,fmthoma/ghc,fmthoma/ghc,nomeata/ghc,vTurbine/ghc,acowley/ghc,lukexi/ghc-7.8-arm64,AlexanderPankiv/ghc,AlexanderPankiv/ghc,gcampax/ghc,forked-upstream-packages-for-ghcjs/ghc,ryantm/ghc,TomMD/ghc,GaloisInc/halvm-ghc,ghc-android/ghc,vTurbine/ghc,fmthoma/ghc,gridaphobe/ghc,lukexi/ghc-7.8-arm64,urbanslug/ghc,da-x/ghc,vikraman/ghc,hferreiro/replay,nushio3/ghc,tibbe/ghc,vTurbine/ghc,mcschroeder/ghc,sgillespie/ghc,gridaphobe/ghc,ilyasergey/GHC-XAppFix,lukexi/ghc,siddhanathan/ghc,GaloisInc/halvm-ghc,gridaphobe/ghc,mcschroeder/ghc,nomeata/ghc,tibbe/ghc,shlevy/ghc,ghc-android/ghc,ezyang/ghc,forked-upstream-packages-for-ghcjs/ghc,christiaanb/ghc,tjakway/ghcjvm,green-haskell/ghc,siddhanathan/ghc,ilyasergey/GHC-XAppFix,olsner/ghc,sgillespie/ghc,gcampax/ghc,snoyberg/ghc,bitemyapp/ghc,ml9951/ghc,vikraman/ghc,mcschroeder/ghc,mcmaniac/ghc,ekmett/ghc,nushio3/ghc,AlexanderPankiv/ghc,snoyberg/ghc,sgillespie/ghc