diff options
-rw-r--r-- | doc/posix1003.1/Makefile | 2 | ||||
-rw-r--r-- | doc/started_ada/Makefile | 1 |
2 files changed, 1 insertions, 2 deletions
diff --git a/doc/posix1003.1/Makefile b/doc/posix1003.1/Makefile index ca16406029..3337910981 100644 --- a/doc/posix1003.1/Makefile +++ b/doc/posix1003.1/Makefile @@ -45,7 +45,7 @@ $(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 ch01.texi: ch01.t $(BMENU) -c -p "Preface" \ diff --git a/doc/started_ada/Makefile b/doc/started_ada/Makefile index 9ae6ae9f59..5df0ae5ab8 100644 --- a/doc/started_ada/Makefile +++ b/doc/started_ada/Makefile @@ -42,7 +42,6 @@ $(PROJECT).ps: $(PROJECT).dvi # run texi2dvi twice to generate the xref's properly. $(PROJECT).dvi: $(FILES) $(TEXI2DVI) -v $(PROJECT).texi - texi2dvi -v $(PROJECT).texi intro.texi: intro.t versions.texi $(BMENU) -c -p "Top" \ |