aboutsummaryrefslogtreecommitdiff
path: root/lang
diff options
context:
space:
mode:
Diffstat (limited to 'lang')
-rw-r--r--lang/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/Makefile b/lang/Makefile
index 3878792f7180..452330e440b9 100644
--- a/lang/Makefile
+++ b/lang/Makefile
@@ -49,6 +49,7 @@
SUBDIR += ghc
SUBDIR += glibstdc++28
SUBDIR += gnat
+ SUBDIR += gnat-doc-html
SUBDIR += gnat-glade
SUBDIR += gnomebasic
SUBDIR += gnustep-base