diff options
Diffstat (limited to 'doc/started_ada/Makefile')
-rw-r--r-- | doc/started_ada/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
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" \ |