X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fprofiling.xml;h=01c7576b63ea41772a3f24754a1101e7b76446a3;hb=1bf40a4b38180b8b1c1bdaf4919bc327d5b27abe;hp=40c757cbfc252aea46c6858f4d2ec5e8f74aeddb;hpb=33bdf0fff0011848bc4962905f48cb78d844b616;p=ghc-hetmet.git diff --git a/docs/users_guide/profiling.xml b/docs/users_guide/profiling.xml index 40c757c..01c7576 100644 --- a/docs/users_guide/profiling.xml +++ b/docs/users_guide/profiling.xml @@ -1383,7 +1383,7 @@ main = do $ ghc -fhpc Recip.hs --make - HPC index (.mix) files are placed placed in .hpc subdirectory. These can be considered like + HPC index (.mix) files are placed in .hpc subdirectory. These can be considered like the .hi files for HPC.