From c85be0c8ec80a38efbe0111f2dfa262996b35892 Mon Sep 17 00:00:00 2001
From: Tinderbox User <tbox@isc.org>
Date: Thu, 13 Aug 2015 20:43:29 +0000
Subject: [PATCH] document omlaut

(cherry picked from commit f619a2035b7c7a33ac118a700aea2fdb1361c4cc)
---
 doc/arm/latex-fixup.pl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/arm/latex-fixup.pl b/doc/arm/latex-fixup.pl
index 5f1149e053..8b303fd756 100644
--- 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;