document omlaut

(cherry picked from commit f619a2035b7c7a33ac118a700aea2fdb1361c4cc)

diff --git a/doc/arm/latex-fixup.pl b/doc/arm/latex-fixup.pl
index 5f1149e053d32218b8d221c6135b572acab428f3..8b303fd756bc159e7ba74afa81699796fa047b3e 100644 (file)
--- a/doc/arm/latex-fixup.pl
+++ b/doc/arm/latex-fixup.pl
@@ -43,7 +43,8 @@ while (<>) {
     s/{\\texttt{{\.\\dbz{}}}}/\\mbox{{\\texttt{{\.\\dbz{}}}}}/;
 
     # Add any further tweaking here.
-    s/&#50102;/{\\"o}/;
+    # https://en.wikibooks.org/wiki/LaTeX/Special_Characters
+    s/&#50102;/{\\"o}/;  # omlaut o &#xc3b6; or &#50102;
 
     # Write out whatever we have now.
     print;