From cee3367aa7fdc80907f8a4258c7d50aee2be2ac7 Mon Sep 17 00:00:00 2001 From: Patrik Nyblom Date: Tue, 7 Dec 2010 15:35:17 +0100 Subject: [PATCH] Workaround for ampersands in INSTALL-WIN32.md --- make/emd2exml.in | 2 ++ 1 file changed, 2 insertions(+) diff --git a/make/emd2exml.in b/make/emd2exml.in index ea1085cf7192..16c38379d933 100644 --- a/make/emd2exml.in +++ b/make/emd2exml.in @@ -381,6 +381,8 @@ put_text(S, [$>|Cs], CTag, EmTag, Acc) when CTag /= no -> put_text(S, Cs, CTag, EmTag, [">"|Acc]); put_text(S, [$&|Cs], CTag, EmTag, Acc) when CTag /= no -> put_text(S, Cs, CTag, EmTag, ["&"|Acc]); +put_text(S, [$&, $ |Cs], CTag, EmTag, Acc) -> %Workaround for INSTALL-WIN32.md + put_text(S, Cs, CTag, EmTag, ["& "|Acc]); put_text(S, [$'|Cs], CTag, EmTag, Acc)when CTag /= no -> put_text(S, Cs, CTag, EmTag, ["'"|Acc]); put_text(S, [$<|Cs], no, EmTag, Acc) ->