diff options
author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-03-26 20:28:13 +0000 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-03-26 20:28:13 +0000 |
commit | e8b63db4fa7ef9fea9dc4d260b49662a7eadb360 (patch) | |
tree | 4e99616a217f9fdcbb7ed95b003f02185b8525b7 /doc/develenv/Makefile | |
parent | More appropriate for public consumption (diff) | |
download | rtems-e8b63db4fa7ef9fea9dc4d260b49662a7eadb360.tar.bz2 |
Do not copy headers, use make
Diffstat (limited to '')
-rw-r--r-- | doc/develenv/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
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 |