* commit '4da3f410d176dd1a55d7cbe5d2e2ead342027f13': configure: Restore doc option to disable building the documentation Conflicts: configure See: eff2edae56 Merged-by: Michael Niedermayer <michaelni@gmx.at>
eff2edae56