diff -r 4699a9058a4f -r d069f23e941f src/Tools/8bit/doc/Makefile
--- 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