[LyX 2.0.x] doc files: port recent changes from master

The branch, 2.0.x, has been updated. - Log - commit 3784f302726e596e5e42d0328581552e042b47fe Author: Uwe Stöhr uwesto...@lyx.org Date: Tue Nov 13 01:43:45 2012 +0100 doc files: port recent changes from master diff --git

[LyX 2.0.x] doc files: port recent changes from master

The branch, 2.0.x, has been updated. - Log - commit 3784f302726e596e5e42d0328581552e042b47fe Author: Uwe Stöhr Date: Tue Nov 13 01:43:45 2012 +0100 doc files: port recent changes from master diff --git