--- a/src/Tools/8bit/doc/Makefile Mon Aug 12 16:28:15 1996 +0200 +++ b/src/Tools/8bit/doc/Makefile Fri Aug 16 11:27:10 1996 +0200 @@ -10,7 +10,7 @@ # operate silently MAKEFLAGS='s' -LATEX=latex +LATEX=latex2e ISA2LATEX=isa2latex CHECKOUT=co