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