From eca2ae92b6b4f82331508bb0411f42a5e3db5efe Mon Sep 17 00:00:00 2001
From: thib <thib>
Date: Sun, 6 Oct 2002 17:22:24 +0000
Subject: [PATCH] removed "make doc" in "make ci"

---
 doc/Makefile.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 2969611..1e74155 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -4,7 +4,7 @@
 
 # @configure_input@
 
-# $Id: Makefile.in,v 1.17 2002-10-06 17:11:30 thib Exp $
+# $Id: Makefile.in,v 1.18 2002-10-06 17:22:24 thib Exp $
 
 # The following should not be edited manually (use configure options)
 # If you must do it, BEWARE : some of the following is also defined
@@ -145,7 +145,7 @@ tarclean: clean
 vclean: clean
 	rm -f HTML/* man/* txt/*
 
-ci: doc clean
+ci: clean
 # we run a "cd .." because it makes appear the path of the file ( ./doc/XXXX )
 # during the ci-ing
 	@(cd ..; find ./doc/ -type f ! -regex '.*RCS.*' ! -regex "$(RCSNOCI)" \
-- 
2.40.0