diff options
Diffstat (limited to 'doc/bsp_howto/Makefile')
| -rw-r--r-- | doc/bsp_howto/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/bsp_howto/Makefile b/doc/bsp_howto/Makefile index 1110252d3b..f61d8b5739 100644 --- a/doc/bsp_howto/Makefile +++ b/doc/bsp_howto/Makefile @@ -43,8 +43,8 @@ $(PROJECT).ps: $(PROJECT).dvi # run texi2dvi twice to generate the xref's properly. $(PROJECT).dvi: $(FILES) - $(TEXI2DVI) -v $(PROJECT).texi - texi2dvi -v $(PROJECT).texi + $(TEXI2DVI) $(PROJECT).texi + $(TEXI2DVI) $(PROJECT).texi html: dirs $(FILES) -mkdir -p $(WWW_INSTALL)/$(PROJECT) |