doc: Remove unicode character for pi because it breaks 'make dvi'.
authorDavid Thompson <dthompson2@worcester.edu>
Mon, 13 May 2019 23:00:33 +0000 (19:00 -0400)
committerDavid Thompson <dthompson2@worcester.edu>
Mon, 13 May 2019 23:00:33 +0000 (19:00 -0400)
doc/api.texi

index 33c9759..ab2955d 100644 (file)
@@ -374,9 +374,9 @@ detection.
 @subsection Basics
 
 @defvar pi
-An essential constant for all trigonometry.  @code{@U{03C0}} is the ratio
-of a circle's circumferences to its diameter.  Since @code{@U{03C0}} is an
-irrational number, the @var{pi} in Chickadee is a mere floating point
+An essential constant for all trigonometry.  Pi is the ratio of a
+circle's circumferences to its diameter.  Since pi is an irrational
+number, the @var{pi} in Chickadee is a mere floating point
 approximation that is ``good enough.''
 @end defvar