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/Makefile | |
| parent | Corrected by adding "end markers". (diff) | |
| download | rtems-fb94e65fa747908ac2f85589298361f34decb5fd.tar.bz2 | |
Added dependency so html would build from scratch.
Diffstat (limited to '')
| -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) \ |