Home
last modified time | relevance | path

Searched refs:is_optional (Results 1 – 1 of 1) sorted by relevance

/linux/tools/docs/
H A Dsphinx-pre-install115 def is_optional(dtype): member in DepManager
132 is_optional = DepManager.is_optional(dtype)
134 if is_optional:
341 def check_python_module(self, module, is_optional=False): argument
346 if is_optional:
376 def check_missing_tex(self, is_optional=False): argument
380 if is_optional: