document omlaut

(cherry picked from commit f619a2035b)
This commit is contained in:
Tinderbox User 2015-08-13 20:43:29 +00:00 committed by Mark Andrews
parent 4103379b9f
commit c85be0c8ec

View file

@ -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;