yes, the documentation is incorrect here. Since version 3.3.0 we shade all required 3rd party libraries into our JAR and we forgot to mention this in the documentation. So now there is actually no need for you to add any other dependencies than the PrettyFaces JAR to your project.
I’ll update the documentation so that the section will be correct for the next version.
Do you play Magic?
Get TopDecked MTG, the #1 Magic App, built by players, for players. Free to use, forever.