diff options
Diffstat (limited to 'doc/develenv/Makefile')
| -rw-r--r-- | doc/develenv/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/develenv/Makefile b/doc/develenv/Makefile index 008fde05e1..c8c2bdf65b 100644 --- a/doc/develenv/Makefile +++ b/doc/develenv/Makefile @@ -25,20 +25,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: $(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 -mkdir -p $(WWW_INSTALL)/$(PROJECT) |