diff options
Diffstat (limited to 'doc/user/Makefile')
| -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 6adbfe3515..327c02c7ac 100644 --- a/doc/user/Makefile +++ b/doc/user/Makefile @@ -54,7 +54,7 @@ $(PROJECT).dvi: $(FILES) html: dirs $(FILES) -mkdir -p $(WWW_INSTALL)/c_user - cp rtemsarc.gif rtemspie.gif states.gif $(WWW_INSTALL)/c_user + cp rtemsarc.png rtemspie.png states.png $(WWW_INSTALL)/c_user $(TEXI2WWW) $(TEXI2WWW_ARGS) -dir $(WWW_INSTALL)/$(PROJECT) \ $(PROJECT).texi |