Make main make target pdftex

diff --git a/docs/Makefile.in b/docs/Makefile.in
index 36845e37b37216603a4dd94dd13f5a08b5bc578e..cd29faacdd8e207e51505dfdcf968de65f287080 100644 (file)
--- a/docs/Makefile.in
+++ b/docs/Makefile.in
@@ -35,7 +35,7 @@ DIST    = Makefile.in
 
 #-------------------------------------------------------------------------
 
-en: all
+en: pdftex
 
 all:
        @for I in ${en_dirs}; \