18 lines
533 B
Plaintext
18 lines
533 B
Plaintext
--- 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
|
|
|
|
% ------------------------------------------------------------------------------
|
|
|