[PATCH] html: Convert ligatures into normal ASCII characters

[Pawel Moll <pawel.moll@arm.com>]

Signed-off-by: Pawel Moll <pawel.moll@arm.com>
---
 unicode.4hf | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 unicode.4hf

diff --git a/unicode.4hf b/unicode.4hf
new file mode 100644
index 0000000..b7e69b2
--- /dev/null
+++ b/unicode.4hf
@@ -0,0 +1,5 @@
+'&#xFB01;' ''  'fi'  ''
+'&#xFB02;' ''  'fl'  ''
+'&#xFB00;' ''  'ff'  ''
+'&#xFB03;' ''  'ffi' ''
+'&#xFB04;' ''  'ffl' ''
-- 
1.8.3.2
8<--------------

Seems to work for me, although I don't know exactly why (I have a
feeling, but no proof ;-)

PaweÅ?