A Lie group structure on the group of real analytic diffeomorphisms of a compact real analytic manifold with corners

We construct a smooth Lie group structure on the group of real analytic diffeomorphisms of a compact analytic manifold with corners. This generalises the known analogous results in the situation where the real analytic manifold has no corners. Additionally our approach uses a different construction.