On Sat, 2016-10-22 at 18:37 +0200, Markus Heiser wrote: > Yeah, I thought something similar. But is the import of the extension > a sufficient criteria? > > About ".. math::"; I guess we have to check if math extension AND > pdflatex is installed. > > What do you suppose? TBH, I only considered this briefly, but decided that somebody who went to the effort of installing the sphinx extension would likely not mind to get a subsequent error when it tries to use something that's not installed. I was, in fact, quite surprised that I even could install (on Debian) the plantuml sphinx extension without plantuml, which seems odd. In fact, I think it would be *preferable* to only check the extension ; we should print a message from the dummy plugin to let them know what extensions they need, and if they then go to the effort of installing it they probably don't just not mind getting errors on dependencies, but actually would *prefer* that, since otherwise it can be daunting to try to figure out what *else* you actually have to install. johannes -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html