Release plat/al core v1.1.13
[platal.git] / doc /
2011-02-23 Florent BruneauAllow 'make doc' in the core.