diff options
| -rw-r--r-- | lang/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/Makefile b/lang/Makefile index eddea65d3e9a..3d8359f0070b 100644 --- a/lang/Makefile +++ b/lang/Makefile @@ -71,6 +71,7 @@ SUBDIR += ghc SUBDIR += ghc-doc SUBDIR += ghc6 + SUBDIR += ghc6-doc SUBDIR += glibstdc++28 SUBDIR += gnat SUBDIR += gnat-doc-html |