diff options
| author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-03-30 14:27:11 +0000 |
|---|---|---|
| committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-03-30 14:27:11 +0000 |
| commit | 3754660c97aa79ac7cde2f11e1f5c41e87224983 (patch) | |
| tree | aae858be08fd7b0f282a1510b72bb7dc89c8410f /doc/ada_user | |
| parent | Added 4th icon (diff) | |
| download | rtems-3754660c97aa79ac7cde2f11e1f5c41e87224983.tar.bz2 | |
Added distribution level to each manual
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: |