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