diff options
Diffstat (limited to 'doc/user')
-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: |