Rather than gating the sphinxdoc debhelper module option on installation of the sphinx-common package, would it not be better to use an explicit DEB_BUILD_PROFILE=stage1 or nodoc?
This is more deterministic. We don't want packages that still build OK when build-deps are missing unless explicitly asked to. Or am I misunderstanding the patch/situation? Wookey -- Principal hats: Linaro, Emdebian, Wookware, Balloonboard, ARM http://wookware.org/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

