diff options
Diffstat (limited to 'doc/ada_user/Makefile')
| -rw-r--r-- | doc/ada_user/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/ada_user/Makefile b/doc/ada_user/Makefile index 7ccd04905b..b272984eca 100644 --- a/doc/ada_user/Makefile +++ b/doc/ada_user/Makefile @@ -40,20 +40,21 @@ info: dirs $(PROJECT) $(PROJECT): $(FILES) $(MAKEINFO) $(PROJECT).texi -dvi: $(PROJECT).dvi +dvi: dirs $(PROJECT).dvi ps: dirs $(PROJECT).ps pdf: dirs $(PROJECT).pdf $(PROJECT).pdf: $(FILES) $(TEXI2PDF) $(PROJECT).texi - cp $(PROJECT).pdf $(PDF_INSTALL) + cp $(PROJECT).pdf $(WWW_INSTALL)/$(PROJECT) $(PROJECT).ps: dirs $(PROJECT).dvi dvips -o $(PROJECT).ps $(PROJECT).dvi - cp $(PROJECT).ps $(PS_INSTALL) + cp $(PROJECT).ps $(WWW_INSTALL)/$(PROJECT) $(PROJECT).dvi: $(FILES) $(TEXI2DVI) $(PROJECT).texi + cp $(PROJECT).dvi $(WWW_INSTALL)/$(PROJECT) html: dirs $(FILES) -mkdir -p $(WWW_INSTALL)/$(PROJECT) |