diff --git a/docs/building/building.xml b/docs/building/building.xml index 0c80312537432c4aa60d093bf398ed7a890c4871..8f3f3f44ba7f782a06615353f4f5206316d29ab4 100644 --- a/docs/building/building.xml +++ b/docs/building/building.xml @@ -3785,10 +3785,10 @@ $ make boot && make -$ cd H/ghc +$ cd H/ghc/compiler $ make boot stage=2 && make stage=2 - + $ cd H/ghc/utils $ make clean