Don't force platal core to be in core/ directory
[platal.git] / doc /
2011-02-23 Florent BruneauAllow 'make doc' in the core.