diff --git a/doc/texinfo.tex b/doc/texinfo.tex
index b1bf41ff56..5932efd5ca 100644
--- a/doc/texinfo.tex
+++ b/doc/texinfo.tex
@@ -10486,7 +10486,7 @@ directory should work if nowhere else does.}
   \DeclareUnicodeCharacter{00AE}{\registeredsymbol{}}%
   \DeclareUnicodeCharacter{00AF}{\={ }}%
   %
-  \DeclareUnicodeCharacter{00B0}{\ringaccent{ }}%
+  \DeclareUnicodeCharacter{00B0}{$^\circ$}%
   \DeclareUnicodeCharacter{00B1}{\ensuremath\pm}%
   \DeclareUnicodeCharacter{00B2}{$^2$}%
   \DeclareUnicodeCharacter{00B3}{$^3$}%