From 3754660c97aa79ac7cde2f11e1f5c41e87224983 Mon Sep 17 00:00:00 2001 From: Joel Sherrill Date: Mon, 30 Mar 1998 14:27:11 +0000 Subject: Added distribution level to each manual --- doc/develenv/Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'doc/develenv') 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: -- cgit v1.2.3