diff options
author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-03-27 20:50:31 +0000 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-03-27 20:50:31 +0000 |
commit | fb94e65fa747908ac2f85589298361f34decb5fd (patch) | |
tree | 169df173b0e19c8cad9f4377102816498f22a6fe /doc/user | |
parent | Corrected by adding "end markers". (diff) | |
download | rtems-fb94e65fa747908ac2f85589298361f34decb5fd.tar.bz2 |
Added dependency so html would build from scratch.
Diffstat (limited to 'doc/user')
-rw-r--r-- | doc/user/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/Makefile b/doc/user/Makefile index 294a4e2a09..625e77be64 100644 --- a/doc/user/Makefile +++ b/doc/user/Makefile @@ -54,7 +54,7 @@ view: ps $(PROJECT).dvi: $(FILES) $(TEXI2DVI) $(PROJECT).texi -html: +html: $(FILES) -mkdir $(WWW_INSTALL)/c_user cp rtemsarc.gif rtemspie.gif states.gif $(WWW_INSTALL)/c_user $(TEXI2WWW) $(TEXI2WWW_ARGS) -dir $(WWW_INSTALL)/$(PROJECT) \ |