diff options
Diffstat (limited to 'doc/ada_user')
-rw-r--r-- | doc/ada_user/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/ada_user/Makefile b/doc/ada_user/Makefile index 41909eb47b..4d19eb5204 100644 --- a/doc/ada_user/Makefile +++ b/doc/ada_user/Makefile @@ -6,9 +6,10 @@ # $Id$ # -include ../Make.config - PROJECT=ada_user +DISTRIBUTION_LEVEL=internal + +include ../Make.config all: |