mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-21 23:09:40 +00:00
33668e3a30
"docbook" is not the same as "docbook5", maybe it would be better to have an enumeration instead of strings.