From e8b63db4fa7ef9fea9dc4d260b49662a7eadb360 Mon Sep 17 00:00:00 2001
From: Joel Sherrill <joel.sherrill@OARcorp.com>
Date: Thu, 26 Mar 1998 20:28:13 +0000
Subject: Do not copy headers, use make

---
 doc/develenv/Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'doc/develenv')

diff --git a/doc/develenv/Makefile b/doc/develenv/Makefile
index 6581c71d1b..7e3b10e462 100644
--- a/doc/develenv/Makefile
+++ b/doc/develenv/Makefile
@@ -45,10 +45,9 @@ $(PROJECT).dvi: $(FILES)
 
 html:
 	-mkdir $(WWW_INSTALL)/$(PROJECT)
+	-cd .. ; gmake headers
 	$(TEXI2WWW) $(TEXI2WWW_ARGS) -dir $(WWW_INSTALL)/$(PROJECT) \
  	    $(PROJECT).texi
-	cp ../rtems.html $(WWW_INSTALL)
-
 
 clean:
 	rm -f *.o $(PROG) *.txt core *.html 
-- 
cgit v1.2.3