--- doc/eukleides.texi.orig	2010-04-27 06:31:00 UTC
+++ doc/eukleides.texi
@@ -6,12 +6,14 @@
 
 % ------------------------------------------------------------------------------
 
+@iftex
 \def\LaTeX{L\kern-.34em\raise.49ex\hbox{\sevenrm A}\kern-.18em\TeX}
 \def\mdeg{$^\circ$}
 \font\degfont=cmtt8
 \def\deg{\raise.7ex\hbox{\degfont o}}
 \def\exm#1{\noindent{\textit Example:}\quad{\texttt #1}}
 \def\exmp{\noindent{\textit Example:}}
+@end iftex
 
 % ------------------------------------------------------------------------------