diff options
Diffstat (limited to 'doc/started/Makefile')
| -rw-r--r-- | doc/started/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/started/Makefile b/doc/started/Makefile index f5f2edf4d6..4366f06d4a 100644 --- a/doc/started/Makefile +++ b/doc/started/Makefile @@ -41,8 +41,8 @@ $(PROJECT).ps: $(PROJECT).dvi # run texi2dvi twice to generate the xref's properly. $(PROJECT).dvi: $(FILES) - $(TEXI2DVI) $(PROJECT).texi - texi2dvi $(PROJECT).texi + $(TEXI2DVI) -v $(PROJECT).texi + texi2dvi -v $(PROJECT).texi intro.texi: intro.t versions.texi $(BMENU) -c -p "Top" \ |