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/user | |
parent | Added 4th icon (diff) | |
download | rtems-3754660c97aa79ac7cde2f11e1f5c41e87224983.tar.bz2 |
Added distribution level to each manual
Diffstat (limited to '')
-rw-r--r-- | doc/user/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/user/Makefile b/doc/user/Makefile index 625e77be64..3556e3574c 100644 --- a/doc/user/Makefile +++ b/doc/user/Makefile @@ -6,9 +6,10 @@ # $Id$ # -include ../Make.config - PROJECT=c_user +DISTRIBUTION_LEVEL=support + +include ../Make.config all: |