Thanks Kevin for your answer! I don't really want to change the source files to include "only" directives, but I guess as a last resort this should work.
Thanks Takeshi for your answer! I think I can test for the availability of the dependencies in conf.py and manipulate "exclude_patterns" accordingly. I just tried something else: Just not adding anything to the "document" in the parse() function of my extension. This generates a bunch of warnings, but the rest of the source files are continued to be built. I guess none of those solutions are perfect, but they should be fine for my use case. Thanks again! cheers, Matthias On Sat, Mar 11, 2017 at 11:06 AM, Komiya Takeshi <[email protected]> wrote: > Hi, > > How about adding the file to exclude_patterns if the library not installed? > > Thanks, > Takeshi KOMIYA > > 2017-03-11 2:11 GMT+09:00 Matthias Geier <[email protected]>: >> Dear list. >> >> Following scenario: >> >> * A small part of the docs uses a certain Sphinx extension with some >> dependencies to parse source files. >> >> * Some contributors don't have those dependencies installed. >> >> Is it possible to somehow skip the affected source files if the >> dependencies are missing? >> >> Is there some kind of exception I can throw to skip processing the >> current source file? >> >> I've intentionally kept this question generic, for a more concrete >> problem description, see >> https://github.com/spatialaudio/nbsphinx/issues/72#issuecomment-284930707. >> >> cheers, >> Matthias >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sphinx-users" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To post to this group, send email to [email protected]. >> Visit this group at https://groups.google.com/group/sphinx-users. >> For more options, visit https://groups.google.com/d/optout. > > -- > You received this message because you are subscribed to the Google Groups > "sphinx-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/sphinx-users. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sphinx-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sphinx-users. For more options, visit https://groups.google.com/d/optout.
