From 12b1d05ea2e242b17657fe889350b213774d8d43 Mon Sep 17 00:00:00 2001
From: nri <nri@opencascade.com>
Date: Thu, 6 Nov 2003 09:19:30 +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 9043c46..370582e 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