diff options
Diffstat (limited to 'doc/ada_user')
| -rw-r--r-- | doc/ada_user/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ada_user/Makefile b/doc/ada_user/Makefile index 4d19eb5204..f3232dc0e1 100644 --- a/doc/ada_user/Makefile +++ b/doc/ada_user/Makefile @@ -54,7 +54,7 @@ $(PROJECT).dvi: $(FILES) $(TEXI2DVI) $(PROJECT).texi html: - -mkdir $(WWW_INSTALL)/ada_user + -mkdir -p $(WWW_INSTALL)/ada_user cp ../user/rtemsarc.gif ../user/rtemspie.gif ../user/states.gif \ $(WWW_INSTALL)/ada_user $(TEXI2WWW) $(TEXI2WWW_ARGS) -dir $(WWW_INSTALL)/$(PROJECT) \ |