diff options
| -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 |