From f7520db539b7432f25de62e5bfd43304b7622303 Mon Sep 17 00:00:00 2001 From: nri Date: Thu, 6 Nov 2003 10:05:29 +0000 Subject: [PATCH] NRI : remove "make doc" --- adm_local/unix/make_commence.in | 1 - 1 file changed, 1 deletion(-) diff --git a/adm_local/unix/make_commence.in b/adm_local/unix/make_commence.in index a9b14ff0..e106eb05 100644 --- a/adm_local/unix/make_commence.in +++ b/adm_local/unix/make_commence.in @@ -220,7 +220,6 @@ all: $(MAKE) bin $(MAKE) resources $(MAKE) data - $(MAKE) doc # # add target to build administrative files -- 2.39.2